I see now that this may have been an outage, since https://status.circleci.com/ now reports that GitHub check deliveries were delayed on October 30th-31st.
It’s frustrating that there was no status report at the time of the incident, and that this thread was ignored.