jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/386543 )
Change subject: Publish clover.xml files for machine-readable coverage
information
......................................................................
Publish clover.xml files for machine-readable coverage information
Bug: T146970
Change-Id: Ifd6dcd73ad6aa185ac098b3ec19eb928fe048e9f
---
M jjb/misc.yaml
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/misc.yaml b/jjb/misc.yaml
index baddfaf..50f3dea 100644
--- a/jjb/misc.yaml
+++ b/jjb/misc.yaml
@@ -30,7 +30,9 @@
# php5-xdebug. And also slow.
- shell: |
rm -rf coverage
- php5 ./vendor/bin/phpunit --coverage-html coverage/
+ php5 ./vendor/bin/phpunit --coverage-clover clover.xml
--coverage-html coverage/
+ mv clover.xml coverage/clover.xml
+
- cover-publish:
src: 'coverage'
dest: '$DOC_PROJECT'
--
To view, visit https://gerrit.wikimedia.org/r/386543
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifd6dcd73ad6aa185ac098b3ec19eb928fe048e9f
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
