Skip to content

Conversation

@paveloom
Copy link
Member

No description provided.

@paveloom paveloom added the develop This PR / issue refers to the `develop` branch label Oct 19, 2020
@paveloom paveloom added this to the v0.1.0 milestone Oct 19, 2020
@paveloom paveloom self-assigned this Oct 19, 2020
@paveloom paveloom linked an issue Oct 19, 2020 that may be closed by this pull request
@codecov
Copy link

codecov bot commented Oct 19, 2020

Codecov Report

Merging #5 into develop will not change coverage.
The diff coverage is 100.00%.

Impacted file tree graph

@@            Coverage Diff            @@
##           develop        #5   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            3         3           
  Lines           26        29    +3     
=========================================
+ Hits            26        29    +3     

@paveloom paveloom merged commit 6b10860 into develop Oct 19, 2020
@paveloom paveloom deleted the feature branch October 19, 2020 14:38
paveloom pushed a commit that referenced this pull request Oct 21, 2020
* Sketch a basic version;
* Add license;
* (#2) Add tests;
* (#5) Check if arguments represent structure fields;
* (#7) Get the documentation done;
* (#9) Add the auxiliary workflows.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

develop This PR / issue refers to the `develop` branch

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Check if valid arguments (args) are passed

2 participants