This is the first attempted patch to the new Springboard repository on Gerrit, and the system to handle it (Jenkins, etc.) is apparently not kicking in:
https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Springboard/+/1153411
This is the first attempted patch to the new Springboard repository on Gerrit, and the system to handle it (Jenkins, etc.) is apparently not kicking in:
https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Springboard/+/1153411
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| Zuul: [mediawiki/extensions/Springboard] Add basic CI | integration/config | master | +4 -0 |
Has it been added to the integratin/config repo? https://www.mediawiki.org/wiki/Continuous_integration/Tutorials/Adding_a_MediaWiki_extension
Oh, thanks, I should have checked that Zuul file. Yes, indeed, Springboard is missing from zuul/layout.yaml. Could someone please add it there?
Change #1153708 had a related patch set uploaded (by QChris; author: Christian Aistleitner):
[integration/config@master] Zuul: [mediawiki/extensions/Springboard] Add basic CI
Change #1153708 merged by jenkins-bot:
[integration/config@master] Zuul: [mediawiki/extensions/Springboard] Add basic CI
Mentioned in SAL (#wikimedia-releng) [2025-06-04T21:27:44Z] <James_F> Zuul: [mediawiki/extensions/Springboard] Add basic CI, for T395981