From be0dfdb67173a5a8c5566eb2137d6727ad9b2e2d Mon Sep 17 00:00:00 2001
From: w0rp <devw0rp@gmail.com>
Date: Wed, 11 Feb 2026 20:16:12 +0000
Subject: [PATCH] Skip ALE docker download attempts

Turns out the "image" variable never finds a local image any more
because the "docker.io/" part isn't part of the image name locally,
so we must alter the string slightly to find a local copy.
---
 run-tests | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/run-tests b/run-tests
index c0a495be..c66b7b23 100755
--- a/run-tests
+++ b/run-tests
@@ -175,7 +175,7 @@ find test -name '*.swp' -delete
 set -eu
 
 # Check if docker un image is available locally
-has_image=$(docker images --quiet "${image}:${image_tag}" | wc -l)
+has_image=$(docker images --quiet "denseanalysis/ale:${image_tag}" | wc -l)
 
 if [[ "$DOCKER" == docker ]]; then
   arch=$(docker info -f '{{ .Architecture }}')
@@ -221,7 +221,9 @@ if [ "$has_image" -eq 0 ] && ! download_image; then
     docker push "${image}:${image_tag}"
   fi
 else
-  echo "Docker run image ${image}:${image_tag} ready"
+  if [ -z "$quiet_flag" ]; then
+    echo "Docker run image ${image}:${image_tag} ready"
+  fi
 fi
 
 "$DOCKER" tag "${image}:${image_tag}" "${image}:latest"