7
98%
main: 98%

Ran 29 Apr 2026 08:13PM UTC

Files 227

Run time 9s

Badge

Committed 29 Apr 2026 08:01PM UTC coverage: 97.722% (+0.002%) from 97.72%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1341 from niccokunzmann/issue-884

Issue 884

Coverage Stats

746 of 768 branches covered (97.14%)

Branch coverage included in aggregate %.

12293 of 12575 relevant lines covered (97.76%)

0.98 hits per line