Repository navigation

Publish the documentation to GitHub Pages - #11

Merged

tobiaskaestner merged 2 commits into

mainfrom

tkaestner/pages-workflow

Oct 2, 2026

Commits on Oct 2, 2026
- ci: docs: build the documentation and publish it to GitHub Pages
  
  tobiaskaestner
  and
  claude
  committed
  040ca1c
- build: sphinx: pin sphinx-needs 8.3.0, the reference version
  
  tobiaskaestner
  and
  claude
  committed
  9073f55