Skip to content

Merge branch 'main' into 'github' #14

Merge branch 'main' into 'github'

Merge branch 'main' into 'github' #14

Workflow file for this run

name: Deploy Sphinx documentation to Pages
on:
push:
branches: [github] # branch to trigger deployment
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
with:
documentation_path: './docs/source'
requirements_path: './requirements.txt'