1
77%
main: 77%

Ran 31 May 2026 10:36AM UTC

Files 100

Run time 2s

Badge

Committed 31 May 2026 10:19AM UTC coverage: 76.901% (+0.7%) from 76.2%

Build Type

push

github

Committed by

Commit Message

Merge pull request #224 from bernardladenthin/claude/gifted-edison-D99NS

docs: downgrade jqwik to 1.9.3 and plan QuickTheories replacement

Coverage Stats

462 of 630 branches covered (73.33%)

Branch coverage included in aggregate %.

1995 of 2565 relevant lines covered (77.78%)

3.36 hits per line