4
98%
main: 98%

Ran 29 Apr 2026 08:15PM UTC

Files 228

Run time 6s

Badge

Committed 29 Apr 2026 08:02PM UTC coverage: 97.723% (+0.001%) from 97.722%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1340 from niccokunzmann/issue-1237

reproduce issue 1237

Coverage Stats

746 of 768 branches covered (97.14%)

Branch coverage included in aggregate %.

12301 of 12583 relevant lines covered (97.76%)

0.98 hits per line