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: May 24 2024 at 22:02 UTC