Merge #434

434: GitHub Actions: uncomment the `${{ runner.arch }}` line r=DilumAluthge a=DilumAluthge

Follow-up to #430.

julia-actions/setup-julia#108 and julia-actions/setup-julia#110 have been merged and are available in a release, so we can now 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: |