diff options
| author | Jakub Beránek <jakub.beranek@vsb.cz> | 2024-07-10 14:45:14 +0200 |
|---|---|---|
| committer | Jakub Beránek <jakub.beranek@vsb.cz> | 2024-07-10 14:45:14 +0200 |
| commit | e7bd16e6c8f498af99a28e139dc4d74d8d43cbb6 (patch) | |
| tree | d1588708fc7b1d93d5cf7db6de498ac142f18af7 | |
| parent | 0fdfb61795b40037955154638fe35f20b16c8e55 (diff) | |
| download | rust-e7bd16e6c8f498af99a28e139dc4d74d8d43cbb6.tar.gz rust-e7bd16e6c8f498af99a28e139dc4d74d8d43cbb6.zip | |
Fix local download of Docker caches
| -rwxr-xr-x | src/ci/docker/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 695b8b4c0d9..40f42171411 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -93,7 +93,7 @@ if [ -f "$docker_dir/$image/Dockerfile" ]; then docker --version REGISTRY=ghcr.io - REGISTRY_USERNAME=${GITHUB_REPOSITORY_OWNER} + REGISTRY_USERNAME=${GITHUB_REPOSITORY_OWNER:-rust-lang-ci} # Tag used to push the final Docker image, so that it can be pulled by e.g. rustup IMAGE_TAG=${REGISTRY}/${REGISTRY_USERNAME}/rust-ci:${cksum} # Tag used to cache the Docker build |