From f4057cba050501c9709ffbd702d550f688ee9923 Mon Sep 17 00:00:00 2001
From: Michal Ziemski <mziemski@ethz.ch>
Date: Fri, 2 Feb 2024 09:23:59 +0000
Subject: [PATCH] Add more platforms

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

diff --git a/.github/workflows/ci-dev.yaml b/.github/workflows/ci-dev.yaml
index 3cf89f7..ec3609b 100644
--- a/.github/workflows/ci-dev.yaml
+++ b/.github/workflows/ci-dev.yaml
@@ -66,4 +66,5 @@ jobs:
         with:
           #push: ${{ github.event.pull_request.merged }}
           push: true
+          platforms: linux/amd64,linux/arm/v8
           tags: ${{ steps.prep.outputs.tags }}