diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml new file mode 100644 index 0000000..a987c4d --- /dev/null +++ b/.github/workflows/main.yml @@ -0,0 +1,20 @@ +# from https://github.com/marketplace/actions/sphinx-to-github-pages + +name: Build and Deploy Sphinx docs to Github Pages + +on: + push: + branches: [master] + +jobs: + pages: + runs-on: ubuntu-20.04 + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + permissions: + pages: write + id-token: write + steps: + - id: deployment + uses: sphinx-notes/pages@v3