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

Serialize FnDef#modifiers #1090

Closed HoshinoTented closed 5 months ago

codecov[bot] commented 5 months ago

Codecov Report

Attention: Patch coverage is 61.53846% with 5 lines in your changes are missing coverage. Please review.

Project coverage is 78.55%. Comparing base (b7ee3ab) to head (1c4c445). Report is 2 commits behind head on main.

Files Patch % Lines
...x/src/main/java/org/aya/syntax/core/def/FnDef.java 0.00% 3 Missing :warning:
...rc/main/java/org/aya/compiler/ExprializeUtils.java 0.00% 1 Missing :warning:
...ax/src/main/java/org/aya/syntax/compile/JitFn.java 50.00% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1090 +/- ## ============================================ - Coverage 78.58% 78.55% -0.03% - Complexity 3156 3158 +2 ============================================ Files 291 291 Lines 9712 9724 +12 Branches 1132 1134 +2 ============================================ + Hits 7632 7639 +7 - Misses 1444 1449 +5 Partials 636 636 ```

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

ice1000 commented 5 months ago

bors merge