push
github
3668 of 4406 branches covered (83.25%)
Branch coverage included in aggregate %.
11914 of 13119 relevant lines covered (90.81%)
0.91 hits per line
The file "tools/multiprogramrunner.py" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.