I updated a <PR>, which triggered a build. Though...

# arrow-contributors

[julian]

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!

[Alejandro Serrano Mena]

I’ve restarted the failing one

[Alejandro Serrano Mena]

unfortunately the gitHub runner is a bit flaky, and sometimes it takes too much time 😕

[julian]

Cool. Thank you!