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: Oct 13 2024 at 01:02 UTC