4
89%
dev: 89%

Ran 15 Jul 2023 05:17AM UTC

Files 56

Run time 0s

Badge

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

Build Type

push

github

Committed by

Commit Message

Merge branch 'fix/grassmann-categorization' into dev

Coverage Stats

2789 of 3346 branches covered (83.35%)

Branch coverage included in aggregate %.

6851 of 7827 relevant lines covered (87.53%)

0.88 hits per line