jenkins-bot has submitted this change and it was merged.
Change subject: Adds puppet jobs for mediawiki-vagrant
......................................................................
Adds puppet jobs for mediawiki-vagrant
Creates jobs:
mediawiki-vagrant-erblint-HEAD
mediawiki-vagrant-puppetlint-lenient
mediawiki-vagrant-puppetlint-strict
bug: 60792
Change-Id: I9f0296ce8a450f1e813ecd30c945166fae959179
---
M mediawiki-misc.yaml
1 file changed, 3 insertions(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/mediawiki-misc.yaml b/mediawiki-misc.yaml
index 49419a3..3fbe634 100644
--- a/mediawiki-misc.yaml
+++ b/mediawiki-misc.yaml
@@ -30,4 +30,7 @@
- project:
name: 'mediawiki-vagrant'
jobs:
+ - '{name}-puppetlint-lenient'
+ - '{name}-puppetlint-strict'
- '{name}-puppet-validate'
+ - '{name}-erblint-HEAD'
--
To view, visit https://gerrit.wikimedia.org/r/109428
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9f0296ce8a450f1e813ecd30c945166fae959179
Gerrit-PatchSet: 4
Gerrit-Project: integration/jenkins-job-builder-config
Gerrit-Branch: master
Gerrit-Owner: Adamw <[email protected]>
Gerrit-Reviewer: Adamw <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
