github: fix missing arch tags in deployment

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · May 14, 2024 · a46d494 · a46d494
1 parent 2e035ec
commit a46d494
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker-deploy.yml b/.github/workflows/docker-deploy.yml
@@ -75,7 +75,7 @@ jobs:
       if: ${{ github.repository_owner == 'seL4' }}
       run: |
         docker push trustworthysystems/camkes-cakeml-rust:${TAG}-amd64
-        docker tag trustworthysystems/camkes-cakeml-rust:${TAG} \
+        docker tag trustworthysystems/camkes-cakeml-rust:${TAG}-amd64 \
                    trustworthysystems/camkes-cakeml-rust:latest-amd64
         docker push trustworthysystems/camkes-cakeml-rust:latest-amd64
 
@@ -120,7 +120,7 @@ jobs:
       if: ${{ github.repository_owner == 'seL4' }}
       run: |
         docker push trustworthysystems/camkes-cakeml-rust:${TAG}-arm64
-        docker tag trustworthysystems/camkes-cakeml-rust:${TAG} \
+        docker tag trustworthysystems/camkes-cakeml-rust:${TAG}-arm64 \
                    trustworthysystems/camkes-cakeml-rust:latest-arm64
         docker push trustworthysystems/camkes-cakeml-rust:latest-arm64