Open
Description
Hey, not sure if this is the right place to ask (is it?)
There is a request-ci
label which saves me the hassle of going to jenkins, entering all the details and starting a build for pull requests.
It would be useful to me if there was a similar label for resume-ci
(when most builds pass but one is flakey or failed due to an unrelated infra issue).
Bonus points if it queues the "resume" even if the build didn't finish yet - but either way would save me time.