Skip to content

Merge branch 'issues/CSD-301-custom-types' into develop #22

Merge branch 'issues/CSD-301-custom-types' into develop

Merge branch 'issues/CSD-301-custom-types' into develop #22

Workflow file for this run

name: documentation
on: [push, pull_request, workflow_dispatch]
permissions:
contents: write
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
- name: Upgrade pip
run: |
# install pip=>20.1 to use "pip cache dir"
python3 -m pip install --upgrade pip
- name: Install dependencies
run: |
pip install sphinx
- name: Install probinet
run: |
pip install ".[dev]"
- name: Sphinx build
run: |
sphinx-build docs/source/ docs/build/html/
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/develop' }}
with:
publish_branch: gh-pages
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/build/html
force_orphan: true