GitHub Actions is down again

Better not turn into another major service disruption or else I'll have to reset the counter.