As a contributor, you can create an empty commit with git commit --allow-empty and push it to trigger a rebuild. PRs intentionally disallow build restarting to prevent contributors from smuggling unreliable code in.
git commit --allow-empty
The specific problem that failed that build is