search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
222 stars 11 forks source link

Fix totality check issue 1121 #1122

Closed johnynek closed 5 months ago

johnynek commented 5 months ago

close #1121

codecov-commenter commented 5 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (1a8a224) 92.35% compared to head (2f52f28) 92.45%.

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #1122 +/- ## ========================================== + Coverage 92.35% 92.45% +0.09% ========================================== Files 96 96 Lines 10967 10978 +11 Branches 2585 2584 -1 ========================================== + Hits 10129 10150 +21 + Misses 838 828 -10 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.