8
98%
main: 98%

Ran 15 Jun 2025 07:35AM UTC

Files 113

Run time 3s

Badge

Committed 10 Jun 2025 12:33PM UTC coverage: 97.119% (+0.1%) from 96.986%

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 %.

6553 of 6746 relevant lines covered (97.14%)

0.97 hits per line