1
92%
master: 92%

Ran 19 Oct 2022 10:20AM UTC

Files 111

Run time 5s

Badge

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

Build Type

push

github

Committed by Marcel Stimberg

Commit Message

Merge branch 'master' into non_contiguous_subgroup

Run Details

6274 of 7430 branches covered (84.44%)

14565 of 16225 relevant lines covered (89.77%)

0.9 hits per line