is it supposed to do this? https://gitlab.com/coq/coq/-/jobs/3177428090
And this one (on ci-coq-02-runner-05) was terminated by signal 9 (not sure what this means): https://gitlab.com/coq/coq/-/jobs/3177428065
Hum, this pipeline on
master also had VST killed and fiat-crypto terminated by signal 9. I guess they just each report the same thing differently. And since it seems to consistently happen on these two jobs when run on ci-coq-02-runner-*, this might be because of a memory issue.
Yet another pipelines with these two failures: https://gitlab.com/coq/coq/-/pipelines/667154471
In fact, so far, I haven't found a pipeline where these two jobs have succeeded in recent full CI pipelines.
This is a different one here: https://gitlab.com/coq/coq/-/jobs/3175185807
It looks like the
ci-coq-02-runner-02 is not able to retrieve the Nix Docker image.
@Maxime Dénès Are you aware of this? Should we use tag to exclude these two jobs from these runners?
Last updated: Dec 06 2023 at 15:01 UTC