Retry CI image push

.gitea/workflows/build-and-deploy.yml

@@ -25,14 +25,21 @@ jobs:
       - name: Build and push image
         run: |
           set -euo pipefail
-          docker buildx build \
-            --push \
-            --tag "$IMAGE_SHA" \
-            --tag "$IMAGE_LATEST" \
-            --build-arg MAPBOX_ACCESS_TOKEN="${{ secrets.MAPBOX_ACCESS_TOKEN }}" \
-            --build-arg MAPBOX_STYLE="mapbox/streets-v12" \
-            --build-arg TELEGRAM_BOT_USERNAME="carfteebot" \
-            .
+          for attempt in 1 2 3; do
+            if docker buildx build \
+              --push \
+              --provenance=false \
+              --tag "$IMAGE_SHA" \
+              --tag "$IMAGE_LATEST" \
+              --build-arg MAPBOX_ACCESS_TOKEN="${{ secrets.MAPBOX_ACCESS_TOKEN }}" \
+              --build-arg MAPBOX_STYLE="mapbox/streets-v12" \
+              --build-arg TELEGRAM_BOT_USERNAME="carfteebot" \
+              .; then
+              exit 0
+            fi
+            sleep "$((attempt * 10))"
+          done
+          exit 1
 
       - name: Skip stale deployment
         run: |