4
84%
main: 84%

Ran 13 Oct 2023 03:40AM UTC

Files 362

Run time 7s

Badge

Committed 13 Oct 2023 03:28AM UTC coverage: 83.713% (-0.02%) from 83.737%

Build Type

push

github

Committed by

Commit Message

Merge pull request #47 from CMU-313/bandaid

Fixing after-merge bugs

Run Details

9794 of 12978 branches covered (0.0%)

Branch coverage included in aggregate %.

21349 of 24224 relevant lines covered (88.13%)

558.46 hits per line