2
19%
dev: 19%

Ran 12 Jul 2020 08:30AM UTC

Files 142

Run time 7s

Badge

Committed 12 Jul 2020 04:48AM UTC coverage: 73.755% (-1.3%) from 75.102%

Build Type

push

github-actions

Committed by GitHub

Commit Message

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

Run Details

3537 of 5913 branches covered (59.82%)

11356 of 15397 relevant lines covered (73.75%)

0.74 hits per line