From 2ed3884c9181390397e8dd50ab6d2d523f167b9b Mon Sep 17 00:00:00 2001
From: Jean-Philip Desjardins <jean-philip.desjardins@polymtl.ca>
Date: Fri, 10 Jan 2025 12:18:37 -0500
Subject: [PATCH] CI: Fix docker command line to use updated arm64 build image.

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

diff --git a/.github/workflows/build-linux_arm64.yaml b/.github/workflows/build-linux_arm64.yaml
index fc1cefad0c..1035d47521 100644
--- a/.github/workflows/build-linux_arm64.yaml
+++ b/.github/workflows/build-linux_arm64.yaml
@@ -18,7 +18,7 @@ jobs:
         uses: addnab/docker-run-action@v2
         with:
           image: jpd002/linux_arm64_build
-          options: -v ${{ github.workspace }}:/work
+          options: -v ${{ github.workspace }}:/work --platform=linux/arm64
           run: |
             set -e
             apt-get update