Print image input file and Docker version

poliorcetics · Jan 28, 2024 · 09e0d4f · 09e0d4f
1 parent da5ab5e
commit 09e0d4f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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" ]];