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

Upgrade build util #1126

Closed ice1000 closed 4 months ago

ice1000 commented 4 months ago

Now we have an extra Kotlin dependency... What a shame

codecov[bot] commented 4 months ago

Codecov Report

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

Project coverage is 79.12%. Comparing base (e658be7) to head (1b3d2b5). Report is 1 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1126 +/- ## ========================================= Coverage 79.12% 79.12% Complexity 3292 3292 ========================================= Files 302 302 Lines 10037 10037 Branches 1195 1195 ========================================= Hits 7942 7942 Misses 1432 1432 Partials 663 663 ```

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