diff --git a/scripts/run_or_skip.sh b/scripts/run_or_skip.sh index 27111e4c1d..9ddd1d08ba 100755 --- a/scripts/run_or_skip.sh +++ b/scripts/run_or_skip.sh @@ -18,12 +18,16 @@ DIGEST_FILE="$CACHE_DIR/$MAKE_TARGET.digests" mkdir -p "$CACHE_DIR" get_image_ids() { + depot pull >/dev/null 2>&1 || true local ids="" for img in $(echo "$IMAGES"); do local id=$(docker image inspect "$img" --format='{{.Id}}' 2>/dev/null || true) if [[ -z $id ]]; then docker pull "$img" >/dev/null 2>&1 || true id="$(docker image inspect "$img" --format='{{.Id}}' 2>/dev/null || true)" + fi + if [[ -z $id ]]; then + id="$(docker image inspect "$img" --format='{{.Id}}' 2>/dev/null || true)" fi id=${id:-new-and-not-pullable-or-failed-to-build} id="${img}@${id}"