Hashar has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/341347 )
Change subject: Clean JJB configuration
......................................................................
Clean JJB configuration
Publisher puppet-lint is no more used, we have moved to rake.
Builder puppet-doc has been replaced by rake/yard doc:
https://doc.wikimedia.org/puppet/
https://doc.wikimedia.org/mediawiki-vagrant/
Change-Id: I8d27174ef63ebedc735a8dcfa170e07a5bf2d1c9
---
M jjb/macro.yaml
1 file changed, 0 insertions(+), 29 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/47/341347/1
diff --git a/jjb/macro.yaml b/jjb/macro.yaml
index 8de56d1..c0d1775 100644
--- a/jjb/macro.yaml
+++ b/jjb/macro.yaml
@@ -1,9 +1,3 @@
-- publisher:
- name: puppet-lint
- publishers:
- - archive:
- artifacts: puppet-lint.log
-
# Lint whitespace in directory {dir}. Usefull when the Git repository has
# been fetched out in some subdirtory of the Workspace. Example:
#
@@ -586,29 +580,6 @@
php -v
/srv/deployment/integration/slave-scripts/bin/git-changed-in-head php
php5 inc phtml module install \
| xargs -n1 -t php -l
-
-- builder:
- name: puppet-doc
- # Directory where 'modules' and 'manifests' directories are
- puppet: '{puppet}'
- builders:
- - shell: |
- # Destination dir must not exist or 'puppet doc' complains
- rm -fR "$WORKSPACE/doc"
-
- cd "{puppet}"
-
- # Delete unwanted bin dir
- # https://tickets.puppetlabs.com/browse/PUP-3261
- rm -v -fR modules/*/bin
-
- /usr/bin/puppet --version
- /usr/bin/puppet doc \
- --trace \
- --mode rdoc \
- --outputdir "$WORKSPACE/doc" \
- --modulepath "{puppet}/modules" \
- --manifestdir "{puppet}/manifests"
- builder:
name: run-tox
--
To view, visit https://gerrit.wikimedia.org/r/341347
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I8d27174ef63ebedc735a8dcfa170e07a5bf2d1c9
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
