Stream: Coq devs & plugin devs

Topic: docker-boot failure

view this post on Zulip Pierre Roux (Aug 31 2023 at 12:56):

On https://github.com/coq/coq/pull/17722 , the job https://gitlab.inria.fr/coq/coq/-/jobs/3381029 complains about

cs.client.CloudStackApiException: Job failure, error: {'errorcode': 530, 'errortext': 'Unable to start a VM due to insufficient capacity'}

does that ring a bell to anyone?

view this post on Zulip Enrico Tassi (Aug 31 2023 at 13:47):

I've already opened a ticket, somehow. They are working on the issue

Last updated: Nov 29 2023 at 22:01 UTC