push
github
2491 of 4036 branches covered (61.72%)
Branch coverage included in aggregate %.
6467 of 9248 relevant lines covered (69.93%)
3.09 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.