GitHub macos-13 runner is amd64

MatthewFluet · May 15, 2024 · b250f10 · b250f10
1 parent b606cda
commit b250f10
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -58,8 +58,8 @@ jobs:
           mv mlton-20210117-1.amd64-linux-glibc2.31/* .
           rmdir mlton-20210117-1.amd64-linux-glibc2.31
 
-      - name: Install dependencies (macos)
-        if: ${{ startsWith(matrix.os, 'macos') }}
+      - name: Install dependencies (macos (amd64))
+        if: ${{ matrix.os == 'macos-13' }}
         run: |
           # brew update
           brew install gmp