https://kotlinlang.org logo
#arrow-contributors
Title
# arrow-contributors
j

julian

01/25/2023, 5:12 AM
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!
a

Alejandro Serrano Mena

01/25/2023, 9:15 AM
I’ve restarted the failing one
unfortunately the gitHub runner is a bit flaky, and sometimes it takes too much time 😕
j

julian

01/25/2023, 2:35 PM
Cool. Thank you!
3 Views