4
98%
main: 98%

Ran 19 Dec 2025 10:31PM UTC

Files 152

Run time 6s

Badge

Committed 19 Dec 2025 10:21PM UTC coverage: 97.762%. Remained the same

Build Type

push

github

Committed by

Commit Message

Merge pull request #1034 from niccokunzmann/issue-1033

Document issues of re-tagging

Run Details

653 of 667 branches covered (97.9%)

Branch coverage included in aggregate %.

9829 of 10055 relevant lines covered (97.75%)

0.98 hits per line