1
98%
main: 98%

Ran 05 May 2025 09:40AM UTC

Files 310

Run time 7s

Badge

Committed 05 May 2025 09:31AM UTC coverage: 97.447% (+0.004%) from 97.443%

Build Type

push

github

Committed by

Commit Message

Add HaveProperty only with name (#140) (#142)

Coverage Stats

3800 of 4042 branches covered (94.01%)

Branch coverage included in aggregate %.

12460 of 12644 relevant lines covered (98.54%)

66917.72 hits per line