Stream: Coq devs & plugin devs

Topic: GitHub actions for PRs broken


view this post on Zulip Michael Soegtrop (Mar 25 2022 at 14:15):

In Coq Platform I don't get CI for PRs any more - it runs fine on main. Do you have similar issues on Coq?

view this post on Zulip Maxime Dénès (Mar 25 2022 at 14:41):

In progress - Scheduled maintenance is currently in progress. We will provide updates as necessary.
Mar 25, 12:00 UTC
Scheduled - Actions will be in a maintenance window on Friday, March 25th from 12:00 to 16:30 UTC as we apply mitigations to reduce mySQL1 load. Starting jobs could be delayed up to an hour during this timeframe. Our engineers will be working to minimize disruption as much as possible.

view this post on Zulip Maxime Dénès (Mar 25 2022 at 14:41):

https://www.githubstatus.com/

view this post on Zulip Ali Caglayan (Mar 25 2022 at 15:10):

GitHub had a lot of load issues this week so they are moving to newer infrastructure.

view this post on Zulip Ali Caglayan (Mar 25 2022 at 15:13):

https://github.blog/2022-03-23-an-update-on-recent-service-disruptions/


Last updated: Feb 02 2023 at 15:04 UTC