How do I manually build a Pull Request?

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 ->