Merge #430

430: GitHub Actions: for now, comment out the `${{ runner.arch }}` line r=DilumAluthge a=DilumAluthge

We need julia-actions/setup-julia#108 and julia-actions/setup-julia#110 before we can uncomment this line.

Co-authored-by: Dilum Aluthge <[email protected]>

Author: bors[bot]

.github/workflows/CompatHelper.yml

@@ -18,7 +18,7 @@ jobs:
         uses: julia-actions/setup-julia@v1
         with:
           version: '1'
-          arch: ${{ runner.arch }}
+          # arch: ${{ runner.arch }}
         if: steps.julia_in_path.outcome != 'success'
       - name: "Add the General registry via Git"
         run: |