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