4
90%
dev: 90%

Ran 22 Jul 2023 05:15AM UTC

Files 56

Run time 0s

Badge

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

Build Type

push

github

Committed by

Commit Message

Merge branch 'fix/grassmann-categorization' into dev

Run Details

2778 of 3335 branches covered (83.3%)

Branch coverage included in aggregate %.

6849 of 7826 relevant lines covered (87.52%)

0.88 hits per line