diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml new file mode 100644 index 0000000..a21bf35 --- /dev/null +++ b/.github/workflows/build-docs.yml @@ -0,0 +1,28 @@ +name: Build Documents + +on: + pull_request: + types: + - opened + - synchronize + paths: + - ".github/workflows/build-docs.yml" + - "docs/**" + workflow_dispatch: # Allows to trigger the workflow manually in GitHub UI + +jobs: + run: + name: "build docs" + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v5 + with: + # See + fetch-depth: 0 + persist-credentials: false + + - name: Build HTML + uses: ammaraskar/sphinx-action@8.2.3 + with: + docs-folder: "docs/" diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index 2587b8a..568985e 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -13,9 +13,6 @@ jobs: runs-on: ubuntu-latest permissions: contents: write - defaults: - run: - working-directory: ./docs steps: - uses: actions/checkout@v5 @@ -25,7 +22,7 @@ jobs: persist-credentials: false - name: Build HTML - uses: ammaraskar/sphinx-action@master + uses: ammaraskar/sphinx-action@8.2.3 with: docs-folder: "docs/"