Repository navigation

Deploy book with GitHub Pages actions - #86

Merged

jsshin2022 merged 1 commit into

mainfrom

ci/deploy-pages

Oct 18, 2026

Merged

Deploy book with GitHub Pages actions#86
jsshin2022 merged 1 commit into
mainfrom
ci/deploy-pages

Commits on Oct 18, 2026
- Deploy book with actions/deploy-pages instead of pushing to gh-pages
  claude
  committed
  95ef64e