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 <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
