Skip to content

chore: Update branch name in Sphinx workflow #8

chore: Update branch name in Sphinx workflow

chore: Update branch name in Sphinx workflow #8

Workflow file for this run

name: "Sphinx: Render docs"
on: push
jobs:
build:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout development branch
uses: actions/checkout@v4
with:
ref: development
- name: Build Sphinx Docs
uses: ammaraskar/sphinx-action@master
with:
pre-build-command: "apt-get install doxygen -y"
build-command: "make html"
docs-folder: "docs/"
- name: Upload artifacts
uses: actions/upload-artifact@v4
with:
name: html-docs
path: docs/build/html/
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: github.ref == 'refs/heads/development'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/build/html