[MediaWiki-commits] [Gerrit] MediaWiki phpunit under HHVM! - change (integration/jenkins-job-builder-config)
Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/117187 Change subject: MediaWiki phpunit under HHVM! .. MediaWiki phpunit under HHVM! Creates job mediawiki-core-phpunit-hhvm Bug: 62278 Change-Id:
[MediaWiki-commits] [Gerrit] MediaWiki phpunit under HHVM! - change (integration/jenkins-job-builder-config)
jenkins-bot has submitted this change and it was merged. Change subject: MediaWiki phpunit under HHVM! .. MediaWiki phpunit under HHVM! Creates job mediawiki-core-phpunit-hhvm Timeout after 8 minutes to avoid blocking changes