1
83%
f24: 83%

Ran 11 Oct 2024 02:18AM UTC

Files 373

Run time 11s

Badge

Committed 11 Oct 2024 02:14AM UTC coverage: 82.683% (-0.005%) from 82.688%

Build Type

push

github

Committed by

Commit Message

Merge pull request #43 from CMU-313/delete-dump-file

Deleted dump.rdb file

Run Details

9969 of 13482 branches covered (73.94%)

Branch coverage included in aggregate %.

22379 of 25641 relevant lines covered (87.28%)

1633.33 hits per line