Stream: Coq devs & plugin devs

Topic: Runner failures on ci-coq-02-runner-*


view this post on Zulip Gaëtan Gilbert (Oct 15 2022 at 08:54):

is it supposed to do this? https://gitlab.com/coq/coq/-/jobs/3177428090

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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: Feb 01 2023 at 16:03 UTC