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

Good sumtypes #157

Open
wants to merge 4 commits into
base: symbolic-resource-sharers
Choose a base branch
from
Open

Good sumtypes #157

wants to merge 4 commits into from

Conversation

olynch
Copy link
Member

@olynch olynch commented Jul 3, 2024

Sum types that are not bad.

@olynch olynch changed the base branch from main to symbolic-resource-sharers July 3, 2024 06:50
Copy link

codecov bot commented Jul 3, 2024

Codecov Report

Attention: Patch coverage is 92.96875% with 9 lines in your changes missing coverage. Please review.

Project coverage is 93.49%. Comparing base (7e81a46) to head (813b064).

Files Patch % Lines
src/util/MyActive.jl 84.37% 5 Missing ⚠️
src/util/SumTypes.jl 95.83% 4 Missing ⚠️
Additional details and impacted files
@@                      Coverage Diff                      @@
##           symbolic-resource-sharers     #157      +/-   ##
=============================================================
- Coverage                      93.51%   93.49%   -0.03%     
=============================================================
  Files                             41       43       +2     
  Lines                           2777     2905     +128     
=============================================================
+ Hits                            2597     2716     +119     
- Misses                           180      189       +9     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@epatters epatters added the enhancement New feature or request label Jul 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants