Stream: Coq devs & plugin devs

Topic: Pyrolyse

view this post on Zulip Théo Zimmermann (Oct 24 2020 at 10:55):

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.

view this post on Zulip Théo Zimmermann (Oct 24 2020 at 11:18):

OK, it looks like this is not specific to Pyrolyse actually: https://gitlab.com/coq/coq/-/jobs/809993438

view this post on Zulip Théo Zimmermann (Oct 24 2020 at 11:19):

Looks like the problem is coming from GitLab: https://status.gitlab.com/

view this post on Zulip Théo Zimmermann (Oct 24 2020 at 11:20):

I've thus resumed Pyrolyse.

Last updated: Dec 05 2023 at 12:01 UTC