diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-05-04 22:27:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-04 22:27:31 +0200 |
| commit | f4d0776b4fb81539ff4a7a493612a022043d88b4 (patch) | |
| tree | bab6fd17750b673f365734fa37c56139c3f8f591 /compiler/rustc_interface/src/errors.rs | |
| parent | bad5382346efbd0eb6573191e8e8a81166f2723e (diff) | |
| parent | 02f4ef7cde5ab7b69545791f3750ae03d251e8ae (diff) | |
| download | rust-f4d0776b4fb81539ff4a7a493612a022043d88b4.tar.gz rust-f4d0776b4fb81539ff4a7a493612a022043d88b4.zip | |
Rollup merge of #124663 - Kobzol:docker-local-download, r=Mark-Simulacrum
Enable reusing CI Docker cache when running CI images locally When running a CI image locally, e.g. using `DEPLOY=1 src/ci/docker/run.sh dist-x86_64-linux`, it can take a long time until the Docker image is built, which is annoying. Since we now use proper Docker caching on CI, it should be possible to just `docker pull` the prebuilt image to reuse the cache. We didn't want to do this on CI, since our caching key isn't perfect and it's possible that we can miss some changes, but I think that for local usage it is fine (we could introduce some env. var. to force disable the image download, if needed). r? `@Mark-Simulacrum`
Diffstat (limited to 'compiler/rustc_interface/src/errors.rs')
0 files changed, 0 insertions, 0 deletions