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
and we're back to disabled
Last updated: Dec 05 2023 at 12:01 UTC