From 1906a2e46c9c3c7727fe093191efabfda7720f47 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Hr=C4=8Dek?= <honza.hrk@gmail.com>
Date: Mon, 12 Aug 2024 09:03:48 +0200
Subject: [PATCH] Specify docker_platform, use --progress=plain

---
 .github/workflows/debian.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/debian.yml b/.github/workflows/debian.yml
index 32fce87..1e0014c 100644
--- a/.github/workflows/debian.yml
+++ b/.github/workflows/debian.yml
@@ -87,10 +87,12 @@ jobs:
             ghc_minor: '9.10'
             deb: 'bullseye'
             arch: 'aarch64'
+            docker_platform: arm64
           - ghc: '9.6.6'
             ghc_minor: '9.6'
             deb: 'bullseye'
             arch: 'aarch64'
+            docker_platform: arm64
           # buster (debian 10)
           - ghc: '9.10.1'
             ghc_minor: '9.10'
@@ -119,7 +121,7 @@ jobs:
             apt-get install -y curl
             curl -fsSL https://get.docker.com | sh
           run: |
-            docker build --pull \
+            docker build --pull --progress=plain \
               --platform "linux/${{ matrix.docker_platform }}" \
               -t haskell:${{ matrix.ghc }}-${{ matrix.deb }} \
               ${{ matrix.ghc_minor }}/${{ matrix.deb }}