Skip to content

Document GitHub docs workflow - #7

Merged
johnnygreco merged 1 commit into
mainfrom
codex/issue-4-github-docs-workflow
Jun 24, 2026
Merged

Document GitHub docs workflow#7
johnnygreco merged 1 commit into
mainfrom
codex/issue-4-github-docs-workflow

Conversation

@johnnygreco

Copy link
Copy Markdown
Collaborator

Summary

Updates the README documentation workflow to describe the GitHub-native docs path introduced by #6. The README now distinguishes local preview from the canonical clean build script, and states that GitHub Actions validates every pull request and main push while deploying GitHub Pages only from main after validation.

Closes #4

Validation

  • stale GitLab scan: rg -n "gitlab|GitLab|\.gitlab-ci|gitlab\.io" README.md docs zensical.toml scripts .github || true -> no matches
  • test: python3 scripts/render-dev-notes.py -> passed
  • lint: python3 -m py_compile scripts/render-dev-notes.py -> passed
  • build: scripts/build-docs.sh -> passed; generated site/
  • local site smoke: curl -fsS http://127.0.0.1:8000/ against python3 -m http.server 8000 --bind 127.0.0.1 --directory site -> HTTP 200

Risks

Low. This only updates repository-facing README guidance and does not change the generated docs site, build script, or workflow logic.

Reviewer Notes

Focus on whether the README accurately describes .github/workflows/docs.yml, local preview, the canonical clean build, PR validation, and main GitHub Pages deployment. Backward compatibility with GitLab CI was not required.

@johnnygreco

Copy link
Copy Markdown
Collaborator Author

Independent review complete: documentation/adoption reviewer and validation/operations reviewer both returned clean. PR check on head c78098b passed Validate documentation and skipped Deploy documentation for the pull_request event as expected.

@johnnygreco
johnnygreco merged commit f95d973 into main Jun 24, 2026
2 checks passed
@johnnygreco
johnnygreco deleted the codex/issue-4-github-docs-workflow branch June 24, 2026 18:41
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.

Update repository docs for GitHub-native workflow

1 participant