1
65%
master: 68%

Ran 05 Oct 2021 12:04PM UTC

Files 300

Run time 11s

Badge

Committed 05 Oct 2021 12:04PM UTC coverage: 64.512%. First build

Build Type

push

github

Committed by Donal Fellows

Commit Message

Fix a whole bunch of minor warnings in the documentation build

Run Details

1881 of 3942 branches covered (47.72%)

Branch coverage included in aggregate %.

10782 of 15687 relevant lines covered (68.73%)

0.69 hits per line