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: Jun 04 2023 at 19:30 UTC