push
github
3258 of 5200 branches covered (62.65%)
Branch coverage included in aggregate %.
8312 of 11840 relevant lines covered (70.2%)
3.11 hits per line
The file "com/devonfw/ide/gui/App.java" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.