5
53%
master: 53%

Ran 30 Sep 2025 10:31AM UTC

Files 61

Run time 7s

Badge

Committed 30 Sep 2025 10:15AM UTC coverage: 50.56%. Remained the same

Build Type

push

github

Committed by

Commit Message

refactor: remove workaround for FLINT >= 3.0.0 and < 3.2.0

We now require FLINT >= 3.2.0. The workaround is no longer necessary.

Run Details

39023 of 77181 relevant lines covered (50.56%)

475875.04 hits per line