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: Jun 14 2024 at 20:01 UTC