Pierre-Marie Pédrot (Jan 19 2022 at 12:56): 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
Pierre-Marie Pédrot (Jan 19 2022 at 12:56):anybody knows why this happens?
Pierre-Marie Pédrot (Jan 19 2022 at 12:56):(I don't see any failure that could have triggered that)
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
Pierre-Marie Pédrot (Jan 19 2022 at 13:00):is that because the machine is full or something, as mentioned on other threads?
Gaëtan Gilbert (Jan 19 2022 at 13:01):unknown
I'm going to stop that machine
Last updated: Sep 09 2024 at 05:02 UTC