5
91%
main: 91%

Ran 15 Jun 2023 05:35AM UTC

Files 56

Run time 0s

Badge

Committed 15 Jun 2023 05:34AM UTC coverage: 94.567% (+0.04%) from 94.524%

Build Type

push

github

Committed by

Commit Message

errata note on interleaving

Run Details

1580 of 1771 branches covered (89.22%)

Branch coverage included in aggregate %.

5643 of 5867 relevant lines covered (96.18%)

0.96 hits per line