vw_small

commit 2626e66873436dcd2cca4f2ad65449feeb9c8f3d
parent fd1354d00e6a6a087df2a68463c6bd95b46b315a
Author: Daniel García <dani-garcia@users.noreply.github.com>
Date:   Fri, 24 Jul 2020 23:05:29 +0200

Merge pull request #1069 from jjlin/master

Skip cleanup of `arm32v6` arch-specific tags
Diffstat:
M
hooks/push
 | 
6
++++++

1 file changed, 6 insertions(+), 0 deletions(-)
diff --git a/hooks/push b/hooks/push
@@ -88,6 +88,12 @@ jwt=$(curl -sS -X POST \
 repo="${DOCKER_REPO#*/}"
 
 for arch in ${arches[@]}; do
+    # Don't delete the `arm32v6` tag; Docker can't seem to properly
+    # auto-select that image on Armv6 platforms like Raspberry Pi 1 and Zero
+    # (https://github.com/moby/moby/issues/41017).
+    if [[ ${arch} == 'arm32v6' ]]; then
+        continue
+    fi
     tag="${DOCKER_TAG}-${arch}"
     echo ">>> Deleting '${repo}:${tag}'..."
     curl -sS -X DELETE \