1
79%
master: 79%

Ran 13 May 2021 03:08AM UTC

Files 53

Run time 6s

Badge

Committed 13 May 2021 03:08AM UTC coverage: 84.029% (-0.1%) from 84.146%

Build Type

push

github-actions

Committed by Matthew Einhorn

Commit Message

Fix merging when MCS is stopped while Ceed is still running.

Run Details

2761 of 3749 branches covered (73.65%)

Branch coverage included in aggregate %.

13113 of 15142 relevant lines covered (86.6%)

0.87 hits per line