jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405406 )
Change subject: Use PHP 7 for mediawiki-phpunit-coverage-patch
......................................................................
Use PHP 7 for mediawiki-phpunit-coverage-patch
It's faster. Also no concurrent builds for now.
Change-Id: I0f072e5d8b09f03ec2cd0a071f082e26594772fe
---
M jjb/mediawiki.yaml
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index f250cfd..8dbc5ab 100644
--- a/jjb/mediawiki.yaml
+++ b/jjb/mediawiki.yaml
@@ -389,6 +389,7 @@
- job:
name: 'mediawiki-phpunit-coverage-patch'
node: contintLabsSlave && DebianJessie
+ concurrent: false
builders:
- zuul-cloner:
projects: >
@@ -405,7 +406,7 @@
# FIXME This is terrible, but composer require creates a dirty diff.
git checkout composer.json
./vendor/bin/phpunit-patch-coverage check --command \
- "php -d zend_extension=xdebug.so tests/phpunit/phpunit.php"
+ "php7.0 -d zend_extension=xdebug.so tests/phpunit/phpunit.php"
triggers:
- zuul
--
To view, visit https://gerrit.wikimedia.org/r/405406
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0f072e5d8b09f03ec2cd0a071f082e26594772fe
Gerrit-PatchSet: 2
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
