Skip to content

Revert "Merge remote-tracking branch 'upstream/main' into gsoc-2023-f… #131

Revert "Merge remote-tracking branch 'upstream/main' into gsoc-2023-f…

Revert "Merge remote-tracking branch 'upstream/main' into gsoc-2023-f… #131

Workflow file for this run

name: Sphinx build
on: push
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build HTML
uses: ammaraskar/sphinx-action@master
- name: Upload artifacts
uses: actions/upload-artifact@v3
with:
name: html-docs
path: docs/_build/html/
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/_build/html