1
19%
dev: 19%

Ran 12 Jul 2020 04:51AM UTC

Files 142

Run time 7s

Badge

Committed 12 Jul 2020 04:51AM UTC coverage: 71.683% (-2.1%) from 73.791%

Build Type

push

github-actions

Committed by GitHub

Commit Message

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

Run Details

3570 of 6137 branches covered (58.17%)

11209 of 15637 relevant lines covered (71.68%)

0.72 hits per line