From 09e0d4f89a2c591b0d131fe0ddc8dd7bd7f20092 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= <berykubik@gmail.com>
Date: Sun, 28 Jan 2024 17:01:47 +0100
Subject: [PATCH] Print image input file and Docker version

---
 src/ci/docker/run.sh | 5 +++++
 1 file changed, 5 insertions(+)

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