smarr / ReBench / b1b4ea1d712e83d385eed8cab4caabed81f83b58 / 1
85%
master: 85%

DEFAULT BRANCH: master
Ran
Files 98
Run time 12s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 80.322% (-0.2%) from 80.553%
b1b4ea1d712e83d385eed8cab4caabed81f83b58.1

push

github-actions

GitHub 
Merge PR #196: Make timeout and resulting child termination more robust and handle SIGTERM

4045 of 5036 relevant lines covered (80.32%)

0.8 hits per line

Source Files on job b1b4ea1d712e83d385eed8cab4caabed81f83b58.1