7
98%
main: 98%

Ran 03 May 2025 10:30AM UTC

Files 89

Run time 2s

Badge

Committed 03 May 2025 10:21AM UTC coverage: 96.355% (+0.03%) from 96.324%

Build Type

push

github

Committed by

Commit Message

Merge pull request #810 from niccokunzmann/issue-798

Add parameters to properties

Run Details

402 of 417 branches covered (96.4%)

Branch coverage included in aggregate %.

5414 of 5619 relevant lines covered (96.35%)

0.96 hits per line