diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2023-07-16 06:33:33 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2023-07-16 06:33:33 +0000 |
| commit | 2e4a1903875f848466844a4d683cabcbceecaeee (patch) | |
| tree | 23b5d0c5333cffd4b5f67f1bb7a98d5f66e05897 /src/ci/docker | |
| parent | 648d74a068be79fa6c1349a4740962527af8d448 (diff) | |
| parent | e87c15c8e4dbe98d72bd1b18b9f5c70cacd44672 (diff) | |
| download | rust-2e4a1903875f848466844a4d683cabcbceecaeee.tar.gz rust-2e4a1903875f848466844a4d683cabcbceecaeee.zip | |
Merge from rustc
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/run.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 4b218d57727..da9d68672c4 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -79,7 +79,7 @@ if [ -f "$docker_dir/$image/Dockerfile" ]; then loaded_images=$(/usr/bin/timeout -k 720 600 docker load -i /tmp/rustci_docker_cache \ | sed 's/.* sha/sha/') set -e - echo "Downloaded containers:\n$loaded_images" + printf "Downloaded containers:\n$loaded_images\n" fi dockerfile="$docker_dir/$image/Dockerfile" @@ -89,12 +89,14 @@ if [ -f "$docker_dir/$image/Dockerfile" ]; then else context="$script_dir" fi + echo "::group::Building docker image for $image" retry docker \ build \ --rm \ -t rust-ci \ -f "$dockerfile" \ "$context" + echo "::endgroup::" if [ "$CI" != "" ]; then s3url="s3://$SCCACHE_BUCKET/docker/$cksum" |