From 73078fd8b095a86274d0a52da9fd5444fcb2df26 Mon Sep 17 00:00:00 2001 From: Paul-Nicolas Madelaine Date: Mon, 4 Dec 2023 10:54:35 +0100 Subject: [PATCH] ci: build documentation on macos --- .github/workflows/gh-pages.yml | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 7422ed3d..a36c9382 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -9,7 +9,8 @@ on: jobs: build: - runs-on: ubuntu-22.04 + # build on macos until bindgen is fixed + runs-on: macos-latest # runs-on: ubuntu-22.04 steps: - name: Checkout uses: actions/checkout@v3 @@ -27,13 +28,18 @@ jobs: with: mdbook-version: "latest" - - name: Setup | Update - run: sudo apt-get update + # - name: Setup | Update + # run: sudo apt-get update + + # - name: Setup | System + # run: | + # sudo apt-get install doxygen python3-sphinx libgmp-dev ninja-build nodejs + # sudo pip install --upgrade pip - name: Setup | System run: | - sudo apt-get install doxygen python3-sphinx libgmp-dev ninja-build nodejs - sudo pip install --upgrade pip + brew install doxygen python3-sphinx libgmp-dev ninja-build nodejs + pip install --upgrade pip - name: Setup | OCaml | 1/2 uses: ocaml/setup-ocaml@v2