Krinkle has submitted this change and it was merged.
Change subject: Add mwext-VisualEditor-docgen job
......................................................................
Add mwext-VisualEditor-docgen job
Depends on Ibf50b41e28d5 in operations/puppet for jsduck.
Change-Id: I52ae434b1e0a4661fcf61829fb54e0f4e1a0f564
---
M mediawiki-extensions.yaml
1 file changed, 25 insertions(+), 0 deletions(-)
Approvals:
Krinkle: Verified; Looks good to me, approved
diff --git a/mediawiki-extensions.yaml b/mediawiki-extensions.yaml
index 1352bd6..951be83 100644
--- a/mediawiki-extensions.yaml
+++ b/mediawiki-extensions.yaml
@@ -90,6 +90,28 @@
- junit:
results: 'junit*.xml'
+- job-template:
+ name: 'mwext-VisualEditor-docgen'
+ defaults: use-zuul-for-mw-ext
+ triggers:
+ - zuul
+ builders:
+ - get-mw-core:
+ branch: 'master'
+ # VisualEditor's custom documentation generator has a maintenance
+ # script which needs MediaWiki to be installed first.
+ - mw-install-sqlite
+ - shell: |
+ # Generate documentation
+ $WORKSPACE/extensions/VisualEditor/.docs/generate.sh
+ # Set destination and version directory therein
+ DEST_DIR="/srv/org/wikimedia/doc/VisualEditor"
+ DEST_VERSIONDIR=`echo "$GERRIT_BRANCH" | tr '/' '-'`
+ # Ensure the destination exists
+ mkdir -p $DEST_DIR
+ # Publish it (trailing slash is important!)
+ rsync --verbose --recursive --delete-after --force
$WORKSPACE/extensions/VisualEditor/docs/ "$DEST_DIR/$DEST_VERSIONDIR/"
+
- job-group:
name: mwext-check-jobs
jobs:
@@ -384,3 +406,6 @@
- '{name}-{ext-name}-pep8':
name: mwext
ext-name: WikimediaMaintenance
+
+ - 'mwext-VisualEditor-docgen':
+ ext-name: VisualEditor
--
To view, visit https://gerrit.wikimedia.org/r/53995
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I52ae434b1e0a4661fcf61829fb54e0f4e1a0f564
Gerrit-PatchSet: 7
Gerrit-Project: integration/jenkins-job-builder-config
Gerrit-Branch: master
Gerrit-Owner: Krinkle <ttij...@wikimedia.org>
Gerrit-Reviewer: Krinkle <ttij...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
