3
98%
main: 98%

Ran 10 Jun 2025 12:42PM UTC

Files 113

Run time 9s

Badge

Committed 10 Jun 2025 12:33PM UTC coverage: 97.063% (+0.09%) from 96.972%

Build Type

push

github

Committed by

Commit Message

Merge pull request #856 from niccokunzmann/issue-187

Make sure we do not lose information

Run Details

458 of 473 branches covered (96.83%)

Branch coverage included in aggregate %.

6549 of 6746 relevant lines covered (97.08%)

0.97 hits per line