fasterthanlime, 7 months ago

oh cool we've reached the stage where GitHub actions is so unreliable (in combination with merge queues, self-hosted runners etc.) that “have you tried to close and re-open the PR again?” is a valid question