3
59%
master: 63%

Ran 01 Apr 2022 10:37AM UTC

Files 84

Run time 19s

Badge

Committed 01 Apr 2022 10:36AM UTC coverage: 59.003% (+0.1%) from 58.874%

Build Type

push

github-actions

Committed by Michael Walther

Commit Message

Merge branch 'master' into make-num-processors-more-general

Run Details

2186 of 4139 branches covered (52.81%)

Branch coverage included in aggregate %.

6832 of 11145 relevant lines covered (61.3%)

0.61 hits per line