aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
281 stars 16 forks source link

Fix checkCon return type treatment #1086

Closed ice1000 closed 5 months ago

ice1000 commented 5 months ago

I'm so OP!!!

codecov[bot] commented 5 months ago

Codecov Report

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

Project coverage is 78.51%. Comparing base (b6198eb) to head (f764534). Report is 1 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1086 +/- ## ============================================ + Coverage 78.29% 78.51% +0.21% - Complexity 3140 3147 +7 ============================================ Files 291 291 Lines 9700 9699 -1 Branches 1129 1129 ============================================ + Hits 7595 7615 +20 + Misses 1466 1447 -19 + Partials 639 637 -2 ```

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