jenkins-bot has submitted this change and it was merged. Change subject: Update TravisCI build config ......................................................................
Update TravisCI build config Change-Id: Idfb34811ce7b60beee90a86e083f284d64ba8d1d --- M .travis.yml 1 file changed, 3 insertions(+), 3 deletions(-) Approvals: Jeroen De Dauw: Looks good to me, approved jenkins-bot: Verified diff --git a/.travis.yml b/.travis.yml index 22f0be5..b429060 100644 --- a/.travis.yml +++ b/.travis.yml @@ -24,12 +24,12 @@ - bash .travis.sh script: - - cd ../phase3/tests/phpunit ; php phpunit.php --group SMWExtension --coverage-clover ../../build/logs/clover.xml + - cd ../phase3/tests/phpunit ; php phpunit.php --group SMWExtension --coverage-clover ../../extensions/SemanticMediaWiki/build/logs/clover.xml after_script: - - cd ../.. + - cd ../../extensions/SemanticMediaWiki - composer require satooshi/php-coveralls:dev-master - - php vendor/bin/coveralls -v -c extensions/SemanticMediaWiki/.coveralls.yml + - php vendor/bin/coveralls -v notifications: irc: -- To view, visit https://gerrit.wikimedia.org/r/78014 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idfb34811ce7b60beee90a86e083f284d64ba8d1d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/SemanticMediaWiki Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits