diff options
| -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" ]]; |