diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2024-01-28 17:01:47 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2024-01-28 17:01:47 +0100 |
| commit | 09e0d4f89a2c591b0d131fe0ddc8dd7bd7f20092 (patch) | |
| tree | d12f4518b291bf2cec25b3618d6bd46db0ecfb15 /src | |
| parent | da5ab5ecd3abca81939f194e76c09b8c8c6dd527 (diff) | |
| download | rust-09e0d4f89a2c591b0d131fe0ddc8dd7bd7f20092.tar.gz rust-09e0d4f89a2c591b0d131fe0ddc8dd7bd7f20092.zip | |
Print image input file and Docker version
Diffstat (limited to 'src')
| -rwxr-xr-x | src/ci/docker/run.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 442b870e709..0db61204f77 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -84,8 +84,13 @@ if [ -f "$docker_dir/$image/Dockerfile" ]; then context="$script_dir" fi echo "::group::Building docker image for $image" + echo "Image input" + cat $hash_key echo "Image input checksum ${cksum}" + # Print docker version + docker --version + # On non-CI or PR jobs, we don't have permissions to write to the registry cache, so we should # not use `docker login` nor caching. if [[ "$CI" == "" ]] || [[ "$PR_CI_JOB" == "1" ]]; |