From dc285b9b5b2033a39c08d51897e3d9fe3970cda9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= <arpl@cs.stanford.edu>
Date: Wed, 30 Oct 2024 14:56:28 -0700
Subject: [PATCH] Don't install gmp in CI on macOs

---
 .github/workflows/ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2ebe9885b..9ff6eeefa 100644
--- 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 }}