Skip to content

Merge branch 'main' into stable #15

Merge branch 'main' into stable

Merge branch 'main' into stable #15

Workflow file for this run

name: Generate Docs
on:
push:
branches: [ stable ]
workflow_dispatch:
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up Python 3.9
uses: actions/setup-python@v2
with:
python-version: 3.9
- name: Build
run: |
sudo apt-get install pandoc
python -m pip install --upgrade pip
pip install -e .[dev]
make docs
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{secrets.GITHUB_TOKEN}}
publish_dir: docs/_build/html