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

Reply via email to