1
90%
master: 88%

Ran 24 Mar 2023 03:09PM UTC

Files 67

Run time 1s

Badge

Committed 24 Mar 2023 03:09PM UTC coverage: 90.126% (+0.006%) from 90.12%

Build Type

push

github

Committed by Donal K. Fellows

Commit Message

Merge branch 'master' into doc-polish

Run Details

1293 of 1517 branches covered (85.23%)

Branch coverage included in aggregate %.

3216 of 3486 relevant lines covered (92.25%)

0.92 hits per line