From aae0bd8558a9f7a26eceb84625d803b6a812ddb0 Mon Sep 17 00:00:00 2001 From: Paul-Nicolas Madelaine Date: Mon, 4 Dec 2023 11:02:16 +0100 Subject: [PATCH] ci: fix system setup on macos --- .github/workflows/gh-pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index e35f1e72..ae9a1d7e 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -38,7 +38,7 @@ jobs: - name: Setup | System run: | - brew install doxygen sphinx-doc libgmp-dev ninja-build nodejs + brew install doxygen sphinx-doc gmp ninja node pip install --upgrade pip - name: Setup | OCaml | 1/2