4
92%
master: 92%

Ran 19 Oct 2022 10:27AM UTC

Files 111

Run time 6s

Badge

Committed 19 Oct 2022 10:20AM UTC coverage: 89.775% (+0.03%) from 89.749%

Build Type

push

github

Committed by Marcel Stimberg

Commit Message

Merge branch 'master' into non_contiguous_subgroup

Run Details

6275 of 7430 branches covered (84.45%)

14566 of 16225 relevant lines covered (89.78%)

0.9 hits per line