Hashar has uploaded a new change for review.
https://gerrit.wikimedia.org/r/186139
Change subject: Fix cloverphp reports in Jenkins
......................................................................
Fix cloverphp reports in Jenkins
Since mediawiki-core-code-coverage has been switched to Zuul, the clover
log ended up in /src/log instead of /log
Fix the phpunit command to send the clover.xml file to /log
Change-Id: I1e615b7fa4b1b6f5331b0774dc3984517bd3fb22
---
M jjb/mediawiki.yaml
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/39/186139/1
diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index 14c3906..bf05fd4 100644
--- a/jjb/mediawiki.yaml
+++ b/jjb/mediawiki.yaml
@@ -425,7 +425,7 @@
nice -n 19 php tests/phpunit/phpunit.php \
--with-phpunitdir
/srv/deployment/integration/phpunit/vendor/phpunit/phpunit \
--exclude-group Dump,Broken,ParserFuzz,Stub \
- --coverage-clover log/clover.xml \
+ --coverage-clover "$WORKSPACE/log/clover.xml" \
--coverage-html
/srv/org/wikimedia/integration/cover/mediawiki-core/master/php \
|| :
# PHP segfault (bug 43972) so ignore any error with '|| :' or the
--
To view, visit https://gerrit.wikimedia.org/r/186139
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I1e615b7fa4b1b6f5331b0774dc3984517bd3fb22
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
