jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/405731 )
Change subject: Update php-coveralls ...................................................................... Update php-coveralls There are two things going on here. Firstly, the binary was renamed from coveralls to php-coveralls, which we need to account for in our Travis script. However, this binary cannot actually be found in the satooshi/php-coveralls package – composer prints a warning about that. I’m not sure what the php-coveralls folks have done here, but in any event, using the new package name php-coveralls/php-coveralls seems to fix the problem (it was apparently renamed at some point as well). Bug: T165617 Change-Id: I7ee5100d447176acbeeae3c50af5c304ef688e55 --- M build/travis/after_script.sh M composer.json 2 files changed, 2 insertions(+), 2 deletions(-) Approvals: jenkins-bot: Verified Thiemo Kreuz (WMDE): Looks good to me, approved diff --git a/build/travis/after_script.sh b/build/travis/after_script.sh index 1b74a26..a37904a 100755 --- a/build/travis/after_script.sh +++ b/build/travis/after_script.sh @@ -2,4 +2,4 @@ cd ../wiki/extensions/WikibaseQualityConstraints -php vendor/bin/coveralls -v +php vendor/bin/php-coveralls -v diff --git a/composer.json b/composer.json index c836b1d..d5bf7b2 100644 --- a/composer.json +++ b/composer.json @@ -31,7 +31,7 @@ "jakub-onderka/php-console-highlighter": "0.3.2", "jakub-onderka/php-parallel-lint": "0.9.2", "phpunit/phpunit": "~4.8", - "satooshi/php-coveralls": "master-dev", + "php-coveralls/php-coveralls": "master-dev", "wikibase/wikibase-codesniffer": "^0.2.0", "mediawiki/minus-x": "0.2.1" }, -- To view, visit https://gerrit.wikimedia.org/r/405731 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7ee5100d447176acbeeae3c50af5c304ef688e55 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/WikibaseQualityConstraints Gerrit-Branch: master Gerrit-Owner: Lucas Werkmeister (WMDE) <lucas.werkmeis...@wikimedia.de> Gerrit-Reviewer: Thiemo Kreuz (WMDE) <thiemo.kr...@wikimedia.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits