1
19%
dev: 19%

Ran 12 Jul 2020 08:28AM UTC

Files 142

Run time 10s

Badge

Committed 12 Jul 2020 08:28AM UTC coverage: 75.085% (+3.4%) from 71.683%

Build Type

push

github-actions

Committed by GitHub

Commit Message

Enhance gdb error message when unable to launch binary (#1614)

Run Details

3826 of 6137 branches covered (62.34%)

11741 of 15637 relevant lines covered (75.08%)

0.75 hits per line