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

ENH: Add rocketry.args.TerminationFlag #49

Merged
merged 5 commits into from
Jul 12, 2022
Merged

ENH: Add rocketry.args.TerminationFlag #49

merged 5 commits into from
Jul 12, 2022

Conversation

Miksus
Copy link
Owner

@Miksus Miksus commented Jul 12, 2022

No description provided.

@Miksus Miksus added the built-in Relates to the built-in tasks, conditions etc. label Jul 12, 2022
@codecov-commenter
Copy link

Codecov Report

Merging #49 (717b4c4) into master (05e205c) will increase coverage by 0.02%.
The diff coverage is 90.90%.

@@            Coverage Diff             @@
##           master      #49      +/-   ##
==========================================
+ Coverage   90.41%   90.43%   +0.02%     
==========================================
  Files          86       86              
  Lines        3860     3869       +9     
==========================================
+ Hits         3490     3499       +9     
  Misses        370      370              
Impacted Files Coverage Δ
rocketry/args/builtin.py 92.18% <87.50%> (+0.95%) ⬆️
rocketry/args/__init__.py 100.00% <100.00%> (ø)
rocketry/core/task.py 91.51% <100.00%> (+0.03%) ⬆️

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 05e205c...717b4c4. Read the comment docs.

@Miksus Miksus merged commit 32a6ee9 into master Jul 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
built-in Relates to the built-in tasks, conditions etc.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants