For two of my recent gerrit patches, CI was not triggered after I uploaded them, and I had to comment "recheck" to manually trigger the jobs.
https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1239506
https://gerrit.wikimedia.org/r/c/mediawiki/extensions/CommunityRequests/+/1239420 (both after uploading PS1 and PS2)
Another patch was +2ed on Thursday but gate-and-submit was not triggered so it wasn't merged: https://gerrit.wikimedia.org/r/c/mediawiki/extensions/FlaggedRevs/+/1238850
This also seems to affect other people's patches, e.g. https://gerrit.wikimedia.org/r/c/mediawiki/services/parsoid/+/1239508
https://gerrit.wikimedia.org/r/c/integration/config/+/1239227 - 20260212 - 20:14:57 UTC





