jenkins-bot has submitted this change and it was merged.
Change subject: puppet-doc generation to the dashboard
......................................................................
puppet-doc generation to the dashboard
Change-Id: I2606569b00b7680b121dd87a98a03c312742ff73
---
M org/wikimedia/integration/dashboard/index.php
1 file changed, 3 insertions(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/org/wikimedia/integration/dashboard/index.php
b/org/wikimedia/integration/dashboard/index.php
index a18c7c0..f04b270 100644
--- a/org/wikimedia/integration/dashboard/index.php
+++ b/org/wikimedia/integration/dashboard/index.php
@@ -23,6 +23,9 @@
'mediawiki-core-doxygen-publish' => 'doxygen',
'mediawiki-core-jsduck-publish' => 'jsduck',
),
+ 'Misc' => array(
+ 'operations-puppet-doc' => 'puppet doc',
+ ),
);
$jenkins_url = 'https://integration.wikimedia.org/ci';
--
To view, visit https://gerrit.wikimedia.org/r/76888
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2606569b00b7680b121dd87a98a03c312742ff73
Gerrit-PatchSet: 1
Gerrit-Project: integration/docroot
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
