I had misconfigured my github filters and a PR came in that did not get built. Now github is waiting for a build that doesn’t exist. I tried manually building the SHA for the PR but it failed in another weird way (it ignored the queue specification and tried to run a build on a test host).
Is there a way to repair the PR either by manually initiating a build in some way I’ve missed or do I have to have the requester create a trivial change and re-push?
See the “stuck” PR here -> https://github.com/UAVCAN/libuavcan/pull/223