looks like github is returning 500 error to some queries this can produce spurious CI failures
indeed lots of degradations here: https://www.githubstatus.com/
Last updated: Oct 13 2024 at 01:02 UTC