In Coq Platform I don't get CI for PRs any more - it runs fine on main. Do you have similar issues on Coq?
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.
GitHub had a lot of load issues this week so they are moving to newer infrastructure.
Last updated: Dec 05 2023 at 04:01 UTC