[15:00:45] <wmf-insecte>	 Project mediawiki-core-code-coverage-docker build #3967: 04FAILURE in 44 sec: https://integration.wikimedia.org/ci/job/mediawiki-core-code-coverage-docker/3967/
[15:00:45] <wmf-insecte>	 Project mediawiki-core-code-coverage-docker build #3967: 04FAILURE in 44 sec: https://integration.wikimedia.org/ci/job/mediawiki-core-code-coverage-docker/3967/