Deploy docs site with Hugo and GitHub Actions#434

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
Remove gh-pages publishing from release script

oschwald
and
claude
committed

Commits on May 20, 2026