3
98%
main: 98%

Ran 15 Jun 2025 07:35AM UTC

Files 113

Run time 3s

Badge

Committed 10 Jun 2025 12:33PM UTC coverage: 94.673% (+0.04%) from 94.634%

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

514 of 562 branches covered (91.46%)

Branch coverage included in aggregate %.

6399 of 6740 relevant lines covered (94.94%)

0.95 hits per line