Skip to content

Remove GitHub Pages documentation deployment - #1

Merged
JinxinWonderWorld merged 4 commits into
mainfrom
codex/web-docs-sync
Jul 22, 2026
Merged

Remove GitHub Pages documentation deployment#1
JinxinWonderWorld merged 4 commits into
mainfrom
codex/web-docs-sync

Conversation

@JinxinWonderWorld

Copy link
Copy Markdown
Contributor

Summary

  • remove the gh-pages deployment job and its publishing script
  • remove GitHub Pages-specific Sphinx configuration and .nojekyll output
  • retain documentation build, policy tests, and CI artifact upload for Cloudflare Pages deployment workflows

Validation

  • python -m pytest tests/test_web_docs.py -q (12 passed)
  • git diff --check
  • verified no GitHub Pages, gh-pages, .nojekyll, or github.io references remain

@JinxinWonderWorld
JinxinWonderWorld marked this pull request as ready for review July 22, 2026 11:32
@JinxinWonderWorld
JinxinWonderWorld merged commit 66c6a71 into main Jul 22, 2026
17 checks passed
@JinxinWonderWorld
JinxinWonderWorld deleted the codex/web-docs-sync branch July 22, 2026 11:32
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