The Phan jobs emit a checkstyle report which is barely readable for humans. We could use the Jenkins publisher report but it is not that helpful since:
- we point users to the console log
- it shows a diff compared to the previous build which is an entirely unrelated commit / repository.
Seems nicer to just print a text report (the default) with colors.