I am getting a lot of skipped jobs on CI : https://gitlab.com/coq/coq/-/pipelines/451379644
anybody knows why this happens?
(I don't see any failure that could have triggered that)
maybe related to the "runner system failure" retried jobs https://gitlab.com/coq/coq/-/jobs/1991052095
is that because the machine is full or something, as mentioned on other threads?
I'm going to stop that machine
Last updated: Feb 05 2023 at 23:30 UTC