Skip to content

ci: upload job is not manual anymore #2

ci: upload job is not manual anymore

ci: upload job is not manual anymore #2

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@v3
- uses: actions/setup-python@v3
- name: Install dependencies
run: |
python3 -m venv venv
source venv/bin/activate
pip install -r requirements.txt -r docs/requirements.txt
- name: Sphinx build
run: |
source venv/bin/activate
git fetch --tags --force
git checkout ${{ github.ref_name }}
scripts/build_docs_versioned.py public $(git tag --sort=-v:refname)
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}
with:
publish_branch: gh-pages
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: public
force_orphan: true