Skip to content

ci: deploy docs via GitHub Actions Pages (drop gh-pages branch)#32

Merged
lesnik512 merged 1 commit into
mainfrom
ci/actions-pages-deploy
Jun 16, 2026
Merged

ci: deploy docs via GitHub Actions Pages (drop gh-pages branch)#32
lesnik512 merged 1 commit into
mainfrom
ci/actions-pages-deploy

Conversation

@lesnik512

Copy link
Copy Markdown
Member

Summary

  • Migrates docs deploy from mkdocs gh-deploy --force (gh-pages branch) to build artifact + actions/deploy-pages, matching the org-wide Pages flow
  • Adds docs-build recipe (mkdocs build --strict) and removes the obsolete docs-deploy recipe
  • Sets correct permissions (pages: write, id-token: write) and concurrency group (pages, non-cancellable)

Post-merge cutover

  1. Flip Pages source to GitHub Actions in repo Settings → Pages
  2. Delete the gh-pages branch once the first Actions deployment succeeds

Test plan

  • just docs-build exits 0 locally (verified)
  • YAML validates (yaml ok)
  • grep -c "docs-deploy" Justfile → 0; grep -c "^docs-build:" Justfile → 1

Part of a 6-repo rollout.

🤖 Generated with Claude Code

Replace mkdocs gh-deploy --force (gh-pages branch) with build artifact + actions/deploy-pages, matching the org site. Add the docs-build recipe used by CI.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@lesnik512 lesnik512 merged commit 77c1399 into main Jun 16, 2026
3 checks passed
@lesnik512 lesnik512 deleted the ci/actions-pages-deploy branch June 16, 2026 17:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant