Addshore has submitted this change and it was merged.
Change subject: Wikibase is not currently using Coveralls, so rem from Travis
config
......................................................................
Wikibase is not currently using Coveralls, so rem from Travis config
Change-Id: I392fbada52660d0b3d93678c96cc94443c85fe94
---
M .travis.yml
D build/travis/after_success.sh
M build/travis/script.sh
3 files changed, 1 insertion(+), 18 deletions(-)
Approvals:
Addshore: Verified; Looks good to me, approved
diff --git a/.travis.yml b/.travis.yml
index ecb1e49..ab3ed14 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -22,8 +22,6 @@
script: bash ./build/travis/script.sh
-after_success: bash ./build/travis/after_success.sh
-
notifications:
email:
recipients:
diff --git a/build/travis/after_success.sh b/build/travis/after_success.sh
deleted file mode 100644
index 2c89bfc..0000000
--- a/build/travis/after_success.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#! /bin/bash
-
-set -x
-
-if [ "$TYPE" == "coverage" ]
-then
- cd ../../extensions/Wikibase
- composer require satooshi/php-coveralls:dev-master
- php vendor/bin/coveralls -v
-fi
\ No newline at end of file
diff --git a/build/travis/script.sh b/build/travis/script.sh
index 6f42e15..cecf5a2 100644
--- a/build/travis/script.sh
+++ b/build/travis/script.sh
@@ -4,9 +4,4 @@
cd ../phase3/tests/phpunit
-if [ "$TYPE" == "coverage" ]
-then
- php phpunit.php --group Wikibase --coverage-clover
../../extensions/Wikibase/build/logs/clover.xml
-else
- php phpunit.php --group Wikibase
-fi
+php phpunit.php --group Wikibase
--
To view, visit https://gerrit.wikimedia.org/r/108847
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I392fbada52660d0b3d93678c96cc94443c85fe94
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
