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

Make jlink binary compile libraries #1123

Closed ice1000 closed 3 months ago

ice1000 commented 3 months ago

So hard...

codecov[bot] commented 3 months ago

Codecov Report

Attention: Patch coverage is 61.11111% with 7 lines in your changes missing coverage. Please review.

Project coverage is 79.12%. Comparing base (4328b18) to head (c32bfda). Report is 1 commits behind head on main.

Files Patch % Lines
...a/cli/library/incremental/DiskCompilerAdvisor.java 40.00% 5 Missing and 1 partial :warning:
...ain/java/org/aya/cli/interactive/ReplCompiler.java 87.50% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1123 +/- ## ============================================ - Coverage 79.17% 79.12% -0.05% Complexity 3300 3300 ============================================ Files 302 302 Lines 10012 10018 +6 Branches 1192 1193 +1 ============================================ Hits 7927 7927 - Misses 1425 1430 +5 - Partials 660 661 +1 ```

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