4
92%
master: 92%

Ran 08 Feb 2022 03:22PM UTC

Files 111

Run time 4min

Badge

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

Build Type

push

github

Committed by Marcel Stimberg

Commit Message

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

Run Details

6542 of 7704 branches covered (84.92%)

14486 of 16141 relevant lines covered (89.75%)

0.9 hits per line