From 89dc85e03f05e1c1dea20eeeb47392863040cb0c Mon Sep 17 00:00:00 2001
From: Michal Ziemski <mziemski@ethz.ch>
Date: Fri, 2 Feb 2024 09:25:15 +0000
Subject: [PATCH] arm/v7

---
 .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 ec3609b..90d038a 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/v8
+          platforms: linux/amd64,linux/arm/v7
           tags: ${{ steps.prep.outputs.tags }}