2
92%
master: 92%

Ran 08 Feb 2022 03:13PM UTC

Files 111

Run time 9s

Badge

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

Build Type

push

github

Committed by Marcel Stimberg

Commit Message

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

Coverage Stats

5142 of 7471 branches covered (68.83%)

12467 of 16141 relevant lines covered (77.24%)

0.77 hits per line