From ad8875970a9d55924529ae8f0f01b14b79d0ca37 Mon Sep 17 00:00:00 2001
From: Michal Ziemski <mziemski@ethz.ch>
Date: Fri, 2 Feb 2024 09:32:32 +0000
Subject: [PATCH] Platforms never mind

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

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