6
53%
master: 53%

Ran 30 Sep 2025 10:31AM UTC

Files 65

Run time 8s

Badge

Committed 30 Sep 2025 10:15AM UTC coverage: 51.273% (+0.02%) from 51.252%

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

42077 of 82065 relevant lines covered (51.27%)

294691.84 hits per line