Michael Soegtrop (Mar 25 2022 at 14:15): 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?
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.
Maxime Dénès (Mar 25 2022 at 14:41): Ali Caglayan (Mar 25 2022 at 15:10):GitHub had a lot of load issues this week so they are moving to newer infrastructure.
Ali Caglayan (Mar 25 2022 at 15:13):https://github.blog/2022-03-23-an-update-on-recent-service-disruptions/
Last updated: Apr 20 2024 at 14:01 UTC