search

aya-prover / aya-dev

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

Fix module name serialization #1104

Closed ice1000 closed 3 months ago

ice1000 commented 3 months ago

Submodules now work!

codecov[bot] commented 3 months ago

Codecov Report

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

Project coverage is 78.94%. Comparing base (92e891a) to head (28be616). Report is 1 commits behind head on main.

:exclamation: Current head 28be616 differs from pull request most recent head 62f6b64

Please upload reports for the commit 62f6b64 to get more accurate results.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1104 +/- ## ============================================ - Coverage 78.97% 78.94% -0.03% + Complexity 3232 3227 -5 ============================================ Files 293 293 Lines 9831 9827 -4 Branches 1169 1167 -2 ============================================ - Hits 7764 7758 -6 - Misses 1418 1422 +4 + Partials 649 647 -2 ```

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