Legoktm has uploaded a new change for review. ( 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(-) git pull ssh://gerrit.wikimedia.org:29418/integration/config refs/changes/06/405406/1 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: newchange Gerrit-Change-Id: I0f072e5d8b09f03ec2cd0a071f082e26594772fe Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Legoktm <lego...@member.fsf.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits