aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorw0rp2026-02-11 20:16:12 +0000
committerw0rp2026-02-11 20:16:15 +0000
commitbe0dfdb67173a5a8c5566eb2137d6727ad9b2e2d (patch)
treeb5f2972c0eb0e9f20e320de392cbcc981161b4c4
parentb5f8cb296ae2679f5acb2c927e116763efccaab3 (diff)
downloadale-be0dfdb67173a5a8c5566eb2137d6727ad9b2e2d.tar.gz

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.

-rwxr-xr-xrun-tests6
1 files changed, 4 insertions, 2 deletions
diff --git a/run-tests b/run-tests
index c0a495be7..c66b7b23b 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"