Skip to content
documentation

Pin documentation build depdencies to versions at time of last successful run (Jul 2023) #82

Sign in to view logs

Pin documentation build depdencies to versions at time of last successful run (Jul 2023)

Pin documentation build depdencies to versions at time of last successful run (Jul 2023) #82

Workflow file for this run

.github/workflows/documentation.yml at 5c9cd79
name: documentation
on:
workflow_dispatch:
push:
tags:
- '*'
branches:
- main
pull_request:
branches:
- main
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Install sphinx and related dependencies
run: sudo apt install -y doxygen && pip install -r docs/requirements.txt
- name: Build documentation
# run build twice to fix crossrefs
run: make -C docs html && make -C docs html
- uses: actions/upload-artifact@v3
with:
path: docs/_build/html/*
deploy:
runs-on: ubuntu-latest
needs: build
# deploy tags
if: startsWith(github.ref, 'refs/tags')
steps:
- uses: actions/download-artifact@v3
with:
name: artifact
path: docs/_build/html
- uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/_build/html