diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c6110c504..92abbd88e 100644 --- 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