From a2d7314268059374c8bbd891729a09b68bbcf13c Mon Sep 17 00:00:00 2001 From: Guillaume Lemaitre Date: Sun, 17 Dec 2023 01:21:30 +0100 Subject: [PATCH] update doc --- .github/workflows/deploy-gh-pages.yml | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/.github/workflows/deploy-gh-pages.yml b/.github/workflows/deploy-gh-pages.yml index 502beda..9fbeadc 100644 --- a/.github/workflows/deploy-gh-pages.yml +++ b/.github/workflows/deploy-gh-pages.yml @@ -17,13 +17,20 @@ jobs: with: fetch-depth: 0 - - uses: prefix-dev/setup-pixi@v0.4.1 + - name: Set up Python + uses: actions/setup-python@v4 with: - pixi-version: v0.10.0 - cache: true + python-version: "3.10" + + - name: Install dependencies + run: | + python -m pip install --upgrade pip + pip install -r requirements.txt - name: Build the documentation - run: pixi run build-doc + run: | + cd doc + make html - name: Update the main gh-page website if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}