10
58%
master: 58%

Ran 30 Sep 2025 10:31AM UTC

Files 64

Run time 4s

Badge

Committed 30 Sep 2025 10:15AM UTC coverage: 50.952% (-0.005%) from 50.957%

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

39971 of 78449 relevant lines covered (50.95%)

329551.14 hits per line