From b3d773dcea2fa15c2912ab9c11e5ecabd5cddc39 Mon Sep 17 00:00:00 2001 From: Hagen Wierstorf Date: Wed, 28 Feb 2024 16:02:18 +0100 Subject: [PATCH] CI: fix publish workflow typo --- .github/workflows/publish.yml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index e071a0b..3bfc0cf 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -8,7 +8,6 @@ on: jobs: deploy: - runs-on: ubuntu-latest runs-on: ubuntu-latest environment: release permissions: @@ -25,7 +24,7 @@ jobs: - name: Set up Python uses: actions/setup-python@v4 with: - python-version: '3.8' + python-version: '3.10' - name: Set up Node.js uses: actions/setup-node@v3 @@ -53,13 +52,13 @@ jobs: - name: Build documentation run: | - python -m sphinx docs/ docs/_build/ -b html -D katex_prerender=1 + python -m sphinx docs/ build/html -b html -D katex_prerender=1 - name: Deploy documentation to Github pages uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./docs/_build + publish_dir: ./build/html # Github release - name: Read CHANGELOG