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

Do not explicitly set encoding in build #1116

Closed ice1000 closed 5 months ago

codecov[bot] commented 5 months ago

Codecov Report

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

Project coverage is 79.04%. Comparing base (422b24f) to head (8bc6de4). Report is 1 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1116 +/- ## ========================================= Coverage 79.04% 79.04% Complexity 3288 3288 ========================================= Files 302 302 Lines 10004 10004 Branches 1190 1190 ========================================= Hits 7908 7908 Misses 1434 1434 Partials 662 662 ```

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