```
$ dev/tools/check-cachekey.sh
$ tar xfj _build.tar.bz2
tar: _build/default/theories/Init/Specif.glob: Cannot write: No space left on device
```

This is on a snared runner... ideas?

context?

example: https://gitlab.com/coq/coq/-/jobs/1980350426

but I've seen it in different jobs IIRC

Another one: https://github.com/coq/coq/pull/15220/checks?check_run_id=4838419593

Enrico Tassi said:

This is on a snared runner... ideas?

This `Runner: #857051`

is not a shared runner, it says it's ours https://gitlab.com/coq/coq/-/runners/857051

no idea where it comes from

If it's a problem we can disable it

It must be someone eavesdropping on our secret code :-)

Secret code, maybe not, but if you control a runner, you actually have access to all the secret keys, which is not a good prospect.

FWIW, I had three jobs fail with "No space left on device" on runner ci-coq-02-runner-04 yesterday:

- https://gitlab.com/coq/coq/-/jobs/3610111633
- https://gitlab.com/coq/coq/-/jobs/3610111867
- https://gitlab.com/coq/coq/-/jobs/3610111636

@Maxime Dénès I'm getting a lot of errors like this again. See https://gitlab.com/coq/coq/-/jobs/3967868406 and https://gitlab.com/coq/coq/-/jobs/3967868389 for examples. They are on ci-coq-02-runner-03 and coq-gitlab-runner-10.ci.

Same problem on ci-coq-01-runner-06 at https://gitlab.com/coq/coq/-/jobs/3988774436

Last updated: Jun 08 2023 at 04:01 UTC