It looks like Pyrolyse is having troubles. Errors such as https://gitlab.com/coq/coq/-/jobs/809975217 kept happening and @coqbot kept restarting the jobs. I've paused the runner for now.
OK, it looks like this is not specific to Pyrolyse actually: https://gitlab.com/coq/coq/-/jobs/809993438
Looks like the problem is coming from GitLab: https://status.gitlab.com/
I've thus resumed Pyrolyse.
Last updated: Dec 05 2023 at 12:01 UTC