Skip to content

Merge branch 'main' into doc-edit #1382

Merge branch 'main' into doc-edit

Merge branch 'main' into doc-edit #1382

Workflow file for this run

name: Docs
on: [push, pull_request, workflow_dispatch]
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v3
- name: Install current pkg
run: |
pip install -e .
- name: Install dependencies
run: |
pip install -r ./docs/requirements.txt
- name: Sphinx build
run: |
sphinx-build docs/source _build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
publish_branch: gh-pages
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: _build/
force_orphan: true