https://bugzilla.wikimedia.org/show_bug.cgi?id=46876
Krinkle <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected], | |[email protected] Component|Documentation |Continuous integration Product|MediaWiki |Wikimedia Summary|Doxygen-generated |Jenkins: Job |documentation on |mediawiki-core-doxygen-publ |doc.wikimedia.org 404s |ish is broken or stopped | |running on postmerge --- Comment #2 from Krinkle <[email protected]> --- Not related to any change in gerrit. I deleted the https://doc.wikimedia.org/mediawiki-core/master directory while working on implementing js/ in addition to php/. The js directory was re-generated automatically on the next merged commit since that's done from the postmerge pipeline in Zuul/Jenkins. However, as we've learned by now, the Jenkins job for the php docs is apparently broken as its either not running or is broken. Moving to "Continuous integration" since this has nothing to do with MediaWiki core (the generation script in mediawiki core works fine). -- You are receiving this mail because: You are the assignee for the bug. You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
