From 658ad0c62c552f34c382ca209c3ec447e0c59bd1 Mon Sep 17 00:00:00 2001
From: Michal Ziemski <mziemski@ethz.ch>
Date: Fri, 2 Feb 2024 09:28:01 +0000
Subject: [PATCH] arm64

---
 .github/workflows/ci-dev.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci-dev.yaml b/.github/workflows/ci-dev.yaml
index 90d038a..dff4343 100644
--- a/.github/workflows/ci-dev.yaml
+++ b/.github/workflows/ci-dev.yaml
@@ -66,5 +66,5 @@ jobs:
         with:
           #push: ${{ github.event.pull_request.merged }}
           push: true
-          platforms: linux/amd64,linux/arm/v7
+          platforms: linux/amd64,linux/arm64
           tags: ${{ steps.prep.outputs.tags }}