Stream: Coq devs & plugin devs

Topic: runner failures

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

eg https://gitlab.com/coq/coq/-/jobs/4596013382

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

cc @Maxime Dénès

view this post on Zulip Gaëtan Gilbert (Jul 05 2023 at 13:50):

I paused ci-coq-02-runner-06

Last updated: Dec 05 2023 at 11:01 UTC