Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/83652
Change subject: Update TravisCi config to not mess up coverage report ...................................................................... Update TravisCi config to not mess up coverage report Change-Id: If253ed6ffcd845106351bf8f4503af4aa1256693 --- M .travis.yml 1 file changed, 2 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WikibaseDatabase refs/changes/52/83652/1 diff --git a/.travis.yml b/.travis.yml index 284b21e..77dfc86 100644 --- a/.travis.yml +++ b/.travis.yml @@ -27,7 +27,8 @@ script: - if [ "$TESTSUITE" == "MediaWiki" ] ; then cd ../phase3/extensions/WikibaseDatabase ; fi - - phpunit --testsuite=WikibaseDatabase$TESTSUITE --coverage-clover build/logs/clover.xml + - phpunit --testsuite=WikibaseDatabase$TESTSUITE + - if [ "$TESTSUITE" == "MediaWiki" ] ; then phpunit --coverage-clover build/logs/clover.xml ; fi after_script: - php vendor/bin/coveralls -v -- To view, visit https://gerrit.wikimedia.org/r/83652 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If253ed6ffcd845106351bf8f4503af4aa1256693 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikibaseDatabase Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
