2
98%
main: 98%

Ran 14 May 2025 03:11PM UTC

Files 92

Run time 3s

Badge

Committed 14 May 2025 03:02PM UTC coverage: 96.436% (+0.01%) from 96.426%

Build Type

push

github

Committed by

Commit Message

Merge pull request #835 from niccokunzmann/issue-740-uid

Add UID property

Run Details

484 of 504 branches covered (96.03%)

Branch coverage included in aggregate %.

5468 of 5668 relevant lines covered (96.47%)

0.96 hits per line