jenkins-bot has submitted this change and it was merged.
Change subject: Remove duplicate phpcs-HEAD config
......................................................................
Remove duplicate phpcs-HEAD config
* '^.*-phpcs-HEAD$' is already covered by '^.*-phpcs(-HEAD)?$'
* TwnMainPage uses exactly what the template provides.
Change-Id: I8216fbc53e086e510bf95cc3ae5f72b49d1bb225
---
M zuul/layout.yaml
1 file changed, 1 insertion(+), 11 deletions(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/zuul/layout.yaml b/zuul/layout.yaml
index efdc506..4d5a735 100644
--- a/zuul/layout.yaml
+++ b/zuul/layout.yaml
@@ -546,11 +546,6 @@
files:
- '^.*\.(php|php5|phtml|inc)$'
- - name: ^.*-phpcs-HEAD$
- voting: false
- files:
- - '^.*\.(php|php5|phtml|inc)$'
-
- name: ^mediawiki.*-hhvm$
# Release branches do not support hhvm. Hopefully REL1_25 will.
branch: (?!REL1_19|REL1_23|REL1_24|fundraising/REL1_23)
@@ -6758,12 +6753,7 @@
- name: extension-rubylint
- name: extension-jslint
- name: extension-unittests
- check:
- - mwext-TwnMainPage-phpcs-HEAD
- test:
- - mwext-TwnMainPage-phpcs-HEAD
- gate-and-submit:
- - mwext-TwnMainPage-phpcs-HEAD
+ - name: extension-phpcs
experimental:
- php-composer-test
--
To view, visit https://gerrit.wikimedia.org/r/201096
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I8216fbc53e086e510bf95cc3ae5f72b49d1bb225
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
