push
github
4562 of 7098 branches covered (64.27%)
Branch coverage included in aggregate %.
11889 of 16032 relevant lines covered (74.16%)
3.13 hits per line
The file "com/devonfw/ide/gui/AppLauncher.java" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.