This is fantastic! Thanks for setting this up.
Question: will this be done for all git repos? In particular MW extensions?
Remark: currently files that the tests do not hit are not included in the
coverage report. This means the overall coverage stats are displayed much
higher then they actually are. We ran into the same issue with the Wikidata
coverage stats. There is some setting that allows you to include all files
in some directory.
Jeroen De Dauw
Don't panic. Don't be evil.