jenkins-bot has submitted this change and it was merged.
Change subject: php5 linter for labs/tools/ZppixBot
......................................................................
php5 linter for labs/tools/ZppixBot
More specific job so it does not end up being coupled with MediaWiki
repositories.
Bug: T150487
Change-Id: Ie285c9f05b1a9fdbf271ad0b717799864e3b8e8b
---
M jjb/labs.yaml
M zuul/layout.yaml
2 files changed, 14 insertions(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/labs.yaml b/jjb/labs.yaml
index 8d059eb..b5df20c 100644
--- a/jjb/labs.yaml
+++ b/jjb/labs.yaml
@@ -1,6 +1,12 @@
# Holds various projects under 'labs/'
- project:
+ # labs-tools-Zppixbot
+ name: 'labs-tools-ZppixBot'
+ jobs:
+ - '{name}-php55lint'
+
+- project:
name: 'labs-tools-wikibugs2'
jobs:
- 'labs-tools-wikibugs2-autopull'
diff --git a/zuul/layout.yaml b/zuul/layout.yaml
index a8f3b7e..9504a09 100644
--- a/zuul/layout.yaml
+++ b/zuul/layout.yaml
@@ -1674,6 +1674,14 @@
- name: npm
- name: tox-jessie
+ - name: labs/tools/ZppixBot
+ check:
+ - labs-tools-ZppixBot-php55lint
+ test:
+ - labs-tools-ZppixBot-php55lint
+ gate-and-submit:
+ - labs-tools-ZppixBot-php55lint
+
- name: performance/docroot
template:
- name: npm
--
To view, visit https://gerrit.wikimedia.org/r/320853
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie285c9f05b1a9fdbf271ad0b717799864e3b8e8b
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
