Gaëtan Gilbert (Oct 15 2022 at 08:54): Gaëtan Gilbert (Oct 15 2022 at 08:54):is it supposed to do this? https://gitlab.com/coq/coq/-/jobs/3177428090
Théo Zimmermann (Oct 15 2022 at 10:12):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
Théo Zimmermann (Oct 15 2022 at 10:17):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.
Théo Zimmermann (Oct 15 2022 at 10:23):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.
Théo Zimmermann (Oct 15 2022 at 10:26):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.
Théo Zimmermann (Oct 19 2022 at 11:18):@Maxime Dénès Are you aware of this? Should we use tag to exclude these two jobs from these runners?
Last updated: Oct 12 2024 at 13:01 UTC