1
92%
master: 92%

Ran 08 Feb 2022 03:13PM UTC

Files 111

Run time 23s

Badge

Committed 08 Feb 2022 03:13PM UTC coverage: 76.718%. First build

Build Type

push

github

Committed by Marcel Stimberg

Commit Message

Merge remote-tracking branch 'origin/master' into non_contiguous_subgroup

Run Details

5102 of 7469 branches covered (68.31%)

12383 of 16141 relevant lines covered (76.72%)

0.77 hits per line