[DO NOT MERGE] Try dist-arm-linux

bjorn3 · bjorn3 · commit b05bf6f01957 · 2023-10-25T17:22:48.000Z
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -553,7 +553,7 @@ jobs:
     strategy:
       matrix:
         include:
-          - name: dist-x86_64-linux
+          - name: dist-arm-linux
             os: ubuntu-20.04-16core-64gb
             env: {}
     timeout-minutes: 600
diff --git a/src/ci/github-actions/ci.yml b/src/ci/github-actions/ci.yml
@@ -695,8 +695,8 @@ jobs:
     strategy:
       matrix:
         include:
-          - &dist-x86_64-linux
-            name: dist-x86_64-linux
+          - &dist-arm-linux
+            name: dist-arm-linux
             <<: *job-linux-16c
 
   master:
