Skip to content

Good sumtypes - #157

Open
olynch wants to merge 4 commits into
symbolic-resource-sharersfrom
good-sumtypes
Open

Good sumtypes#157
olynch wants to merge 4 commits into
symbolic-resource-sharersfrom
good-sumtypes

Conversation

@olynch

@olynch olynch commented Jul 3, 2024

Copy link
Copy Markdown
Member

Sum types that are not bad.

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

codecov Bot commented Jul 3, 2024

Copy link
Copy Markdown

Codecov Report

❌ 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 with missing lines 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 Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@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