[DO NOT MERGE] Try dist-arm-linux

Author: bjorn3

.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

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: