Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WIP: Documentation #7

Merged
merged 14 commits into from
Jul 12, 2020
Merged

WIP: Documentation #7

merged 14 commits into from
Jul 12, 2020

Conversation

RobertRosca
Copy link
Contributor

No description provided.

@RobertRosca RobertRosca changed the title WIP: Dev docs WIP: Documentation Jul 12, 2020
@RobertRosca RobertRosca added this to In progress in Initial Development Jul 12, 2020
@codecov
Copy link

codecov bot commented Jul 12, 2020

Codecov Report

Merging #7 into dev will decrease coverage by 0.11%.
The diff coverage is 81.81%.

Impacted file tree graph

@@            Coverage Diff             @@
##              dev       #7      +/-   ##
==========================================
- Coverage   92.81%   92.70%   -0.12%     
==========================================
  Files           7        8       +1     
  Lines         376      384       +8     
==========================================
+ Hits          349      356       +7     
- Misses         27       28       +1     
Impacted Files Coverage Δ
src/cfmessage.jl 82.14% <0.00%> (ø)
src/constants.jl 87.50% <87.50%> (ø)
src/dataset.jl 96.06% <100.00%> (ø)

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 6cbcd52...c2624ff. Read the comment docs.

@RobertRosca RobertRosca merged commit a196074 into dev Jul 12, 2020
@RobertRosca RobertRosca moved this from In progress to Done in Initial Development Jul 12, 2020
@RobertRosca RobertRosca mentioned this pull request Jul 12, 2020
15 tasks
@RobertRosca RobertRosca deleted the dev-docs branch August 30, 2020 12:05
@RobertRosca RobertRosca restored the dev-docs branch August 30, 2020 12:05
@RobertRosca RobertRosca deleted the dev-docs branch August 30, 2020 12:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Development

Successfully merging this pull request may close these issues.

None yet

1 participant