3
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.517% (-0.007%) from 94.524%

Build Type

push

github

Committed by

Commit Message

errata note on interleaving

Run Details

1563 of 1756 branches covered (89.01%)

Branch coverage included in aggregate %.

5642 of 5867 relevant lines covered (96.16%)

0.96 hits per line