jenkins-bot has submitted this change and it was merged. Change subject: Mw coverage job had echo "foo" > log/clover.xml ......................................................................
Mw coverage job had echo "foo" > log/clover.xml That is not really expected. Change-Id: I7ee36059d4862cd61fe0a35af9b42240b92ee81f --- M mediawiki.yaml 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/mediawiki.yaml b/mediawiki.yaml index e57bd0f..aec28f5 100644 --- a/mediawiki.yaml +++ b/mediawiki.yaml @@ -248,7 +248,6 @@ } trap compress_clover_log EXIT - echo "foo" > log/clover.xml nice -n 19 php tests/phpunit/phpunit.php \ --with-phpunitdir /srv/deployment/integration/phpunit/vendor/phpunit/phpunit \ --exclude-group Dump,Broken,ParserFuzz,Stub \ -- To view, visit https://gerrit.wikimedia.org/r/116091 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7ee36059d4862cd61fe0a35af9b42240b92ee81f Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins-job-builder-config Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits