Debug output before loading docker images as that might hang.

diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh
index ab81a9d1de2e463b71cbee19d0d55f7a39a76038..b9b6add99f88300fbc1daf13c1e4fa00e43236c0 100755 (executable)
--- a/src/ci/docker/run.sh
+++ b/src/ci/docker/run.sh
@@ -72,6 +72,7 @@ if [ -f "$docker_dir/$image/Dockerfile" ]; then
       set +e
       retry curl --max-time 600 -y 30 -Y 10 --connect-timeout 30 -f -L -C - \
         -o /tmp/rustci_docker_cache "$url"
+      echo "Loading images into docker"
       loaded_images=$(docker load -i /tmp/rustci_docker_cache | sed 's/.* sha/sha/')
       set -e
       echo "Downloaded containers:\n$loaded_images"