Repository navigation

Fix docs deploy: check out gh-pages to another directory - #48

Merged

Insei merged 1 commit into

mainfrom

Oct 16, 2026

Merged

Fix docs deploy: check out gh-pages to another directory#48
Insei merged 1 commit into
mainfrom
docs-pages-dir

Commits on Oct 16, 2026
- fix: docs: check out the published site to another directory, mike builds the version into site
  Insei
  committed
  f0c1b4f