Some extensions' code coverage reports fail with Empty directory!
See, eg, https://doc.wikimedia.org/cover-extensions/GlobalWatchlist/ (intermittently)
The reason is the postmerge job mwext-codehealth-master-non-voting which publish to doc.wikimedia.org although it only generates a single file clover.xml. That causes the HTML report generated by mwext-phpunit-coverage-docker-publish to be erased.