1
92%
main: 92%

Ran 26 Jun 2023 09:26PM UTC

Files 388

Run time 4s

Badge

Committed 26 Jun 2023 09:26PM UTC coverage: 94.171% (-0.003%) from 94.174%

Build Type

push

github

Committed by

Commit Message

Strict validation of property cardinality (#2300)

Coverage Stats

6542 of 7167 branches covered (91.28%)

Branch coverage included in aggregate %.

12361 of 12906 relevant lines covered (95.78%)

35427.34 hits per line