Don't install gmp in CI on macOs (#361)

It is already installed on macos-latest.
stanford-centaur · Oct 30, 2024 · d9fd584 · d9fd584
1 parent ee6e16c
commit d9fd584
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -44,7 +44,6 @@ jobs:
         run: |
           brew update
           brew install \
-            gmp \
             gperf \
             ninja \
             ${{ matrix.extra_macos_packages }}