jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/402175 )
Change subject: Generate clover.xml files for tox-py27-coverage-publish
......................................................................
Generate clover.xml files for tox-py27-coverage-publish
coverage.py can generate cobertura files, so we use a script to turn it
into
a clover.xml file, and publish that. Both the original cobertura XML
file and
the generated clover.xml file are kept as artifacts.
Bug: T179054
Change-Id: I697d130e8c27189636bf0783ce100a5c82c19359
---
M jjb/python-jobs.yaml
1 file changed, 4 insertions(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/python-jobs.yaml b/jjb/python-jobs.yaml
index 40b283b..66e377d 100644
--- a/jjb/python-jobs.yaml
+++ b/jjb/python-jobs.yaml
@@ -112,8 +112,11 @@
rm -fR coverage log
mkdir -p log
set -o pipefail
- TOX_TESTENV_PASSENV=PY_COLORS PY_COLORS=1 tox -e py27 -- --cover-html
--cover-html-dir=coverage/ | tee "log/tox-coverage.log"
+ TOX_TESTENV_PASSENV=PY_COLORS PY_COLORS=1 tox -e py27 -- --cover-html
--cover-html-dir=coverage/ --cover-xml | tee "log/tox-coverage.log"
set +o pipefail
+ mv coverage.xml log/coverage.xml
+
/srv/deployment/integration/slave-scripts/bin/cobertura-clover-transform.py
log/coverage.xml -o log/clover.xml
+ cp log/clover.xml coverage/clover.xml
- cover-publish:
src: 'coverage'
dest: '$DOC_PROJECT'
--
To view, visit https://gerrit.wikimedia.org/r/402175
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I697d130e8c27189636bf0783ce100a5c82c19359
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
