1
94%
main: 94%

Ran 03 Jul 2023 12:04PM UTC

Files 40

Run time 0s

Badge

Committed 03 Jul 2023 12:02PM UTC coverage: 94.059% (+1.4%) from 92.673%

Build Type

push

github

Committed by

Commit Message

Add owner related invariants

Run Details

157 of 172 branches covered (91.28%)

Branch coverage included in aggregate %.

318 of 333 relevant lines covered (95.5%)

54.11 hits per line