Stream: Coq devs & plugin devs

Topic: Skipped jobs on CI


view this post on Zulip Pierre-Marie Pédrot (Jan 19 2022 at 12:56):

I am getting a lot of skipped jobs on CI : https://gitlab.com/coq/coq/-/pipelines/451379644

view this post on Zulip Pierre-Marie Pédrot (Jan 19 2022 at 12:56):

anybody knows why this happens?

view this post on Zulip Pierre-Marie Pédrot (Jan 19 2022 at 12:56):

(I don't see any failure that could have triggered that)

view this post on Zulip Gaëtan Gilbert (Jan 19 2022 at 12:59):

maybe related to the "runner system failure" retried jobs https://gitlab.com/coq/coq/-/jobs/1991052095

view this post on Zulip Pierre-Marie Pédrot (Jan 19 2022 at 13:00):

is that because the machine is full or something, as mentioned on other threads?

view this post on Zulip Gaëtan Gilbert (Jan 19 2022 at 13:01):

unknown
I'm going to stop that machine


Last updated: Dec 01 2023 at 06:01 UTC