In our CI workflows, every job spends about a minute on the following:
latest: Pulling from rocq/rocq-prover
af302e5c37e9: Pulling fs layer
296d8e7d5cea: Pulling fs layer
6c809a93b396: Pulling fs layer
35c7ffb35bd2: Pulling fs layer
4f4fb700ef54: Pulling fs layer
19e29f4c929d: Pulling fs layer
301d9a76b76a: Pulling fs layer
4f4fb700ef54: Waiting
19e29f4c929d: Waiting
301d9a76b76a: Waiting
35c7ffb35bd2: Waiting
6c809a93b396: Verifying Checksum
6c809a93b396: Download complete
35c7ffb35bd2: Verifying Checksum
35c7ffb35bd2: Download complete
af302e5c37e9: Verifying Checksum
af302e5c37e9: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
296d8e7d5cea: Verifying Checksum
296d8e7d5cea: Download complete
af302e5c37e9: Pull complete
19e29f4c929d: Verifying Checksum
19e29f4c929d: Download complete
301d9a76b76a: Verifying Checksum
301d9a76b76a: Download complete
296d8e7d5cea: Pull complete
6c809a93b396: Pull complete
35c7ffb35bd2: Pull complete
4f4fb700ef54: Pull complete
19e29f4c929d: Pull complete
301d9a76b76a: Pull complete
Digest: sha256:853108e7c0bf2a04e2ecd970e0b22dc97d5ebbc99f725[294](https://github.com/UniMath/UniMath/actions/runs/14612375710/job/40992942507#step:5:298)2972f3eb670bcbf2
Status: Downloaded newer image for rocq/rocq-prover:latest
docker.io/rocq/rocq-prover:latest
Would it maybe be possible to use a cache, as suggested here, to avoid unnecessary traffic and waiting time?
In our CI workflows, every job spends about a minute on the following:
Would it maybe be possible to use a cache, as suggested here, to avoid unnecessary traffic and waiting time?