Repository navigation

Publish repo root to gh-pages again (restore publish_dir) - #14

Merged

james merged 1 commit into

mainfrom

fix/serialise-gh-pages-deploys

Oct 12, 2026

Merged

Publish repo root to gh-pages again (restore publish_dir)#14
james merged 1 commit into
mainfrom
fix/serialise-gh-pages-deploys

Commits on Oct 9, 2026
- Publish repo root to gh-pages again (restore publish_dir)
  james
  committed
  3ac8550