Deploy docs site with Hugo via GitHub Actions#702

Merged

horgh merged 8 commits into

mainfrom

May 21, 2026

Commits on May 18, 2026

Add Hugo-based docs site

oschwald
and
claude
committed
Add GitHub Pages deployment workflow

oschwald
and
claude
committed
Stop regenerating gh-pages index.md in release script

oschwald
and
claude
committed

Commits on May 20, 2026