Stream: Coq devs & plugin devs

Topic: dockerfile update workers

view this post on Zulip Gaëtan Gilbert (Feb 09 2023 at 13:33):

Do we still not have workers for updating the docker stuff? Anyway I'm enabling shared runners until https://gitlab.com/coq/coq/-/jobs/3743467890 starts

view this post on Zulip Gaëtan Gilbert (Feb 09 2023 at 13:34):

and we're back to disabled

Last updated: May 28 2023 at 16:30 UTC