I updated a PR, which triggered a build. Though the build succeeded when I ran it locally, Github reports it failed on the

check

step. I examined the log, but didn't find any failure. Could it be that it timed out? That step took 50 minutes. Is there a way to trigger a build manually, without changing branch history? Thanks!

I’ve restarted the failing one

Cool. Thank you!