4
98%
main: 98%

Ran 10 Feb 2026 08:21AM UTC

Files 208

Run time 4s

Badge

Committed 10 Feb 2026 08:09AM UTC coverage: 97.77% (+0.03%) from 97.739%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1136 from niccokunzmann/issue-987-prop

Run Details

691 of 712 branches covered (97.05%)

Branch coverage included in aggregate %.

11321 of 11574 relevant lines covered (97.81%)

0.98 hits per line