search

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

Release v0.32 #1088

Closed ice1000 closed 5 months ago

ice1000 commented 5 months ago

Bug fixing not done yet

codecov[bot] commented 5 months ago

Codecov Report

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

Project coverage is 78.58%. Comparing base (cd245d1) to head (b77550d). Report is 4 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1088 +/- ## ========================================= Coverage 78.58% 78.58% Complexity 3156 3156 ========================================= Files 291 291 Lines 9712 9712 Branches 1132 1132 ========================================= Hits 7632 7632 Misses 1444 1444 Partials 636 636 ```

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