jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/326009 )
Change subject: phan: Temporarily remove from gate-and-submit
......................................................................
phan: Temporarily remove from gate-and-submit
Don't waste a nodepool instance on this while non-voting.
Change-Id: I38b11d6ad989cd82036ecaa42160abb82c7d878d
---
M zuul/layout.yaml
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/zuul/layout.yaml b/zuul/layout.yaml
index 07e7c64..2e94f44 100644
--- a/zuul/layout.yaml
+++ b/zuul/layout.yaml
@@ -1427,7 +1427,7 @@
- mediawiki-phpunit-php55-trusty
- mediawiki-core-qunit-jessie
- composer-package-validate
- - mediawiki-core-php70-phan-jessie
+ # - mediawiki-core-php70-phan-jessie
postmerge:
- mediawiki-core-jsduck-publish
- mediawiki-core-doxygen-publish
--
To view, visit https://gerrit.wikimedia.org/r/326009
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I38b11d6ad989cd82036ecaa42160abb82c7d878d
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
