[captainkrtek]

As a customer of GitHub actions, anecdotally feels like Github experiences issues frequently enough to make this not a problem.