7
98%
main: 98%

Ran 10 Feb 2026 08:21AM UTC

Files 208

Run time 4s

Badge

Committed 10 Feb 2026 08:09AM UTC coverage: 96.345% (+0.05%) from 96.294%

Build Type

push

github

Committed by

Commit Message

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

Run Details

668 of 712 branches covered (93.82%)

Branch coverage included in aggregate %.

11169 of 11574 relevant lines covered (96.5%)

0.97 hits per line