3
89%
dev: 89%

Ran 22 Jul 2023 05:15AM UTC

Files 56

Run time 0s

Badge

Committed 02 Jul 2023 01:09PM UTC coverage: 86.324% (+0.2%) from 86.087%

Build Type

push

github

Committed by

Commit Message

Merge branch 'fix/grassmann-categorization' into dev

Coverage Stats

2792 of 3346 branches covered (83.44%)

Branch coverage included in aggregate %.

6853 of 7827 relevant lines covered (87.56%)

0.88 hits per line