push
github
1886 of 3417 branches covered (55.19%)
Branch coverage included in aggregate %.
4940 of 7834 relevant lines covered (63.06%)
2.75 hits per line
The file "com/devonfw/tools/ide/tool/LocalToolCommandlet.java" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.