Skip to content

ci: validate documentation inputs before publication - #3

Merged
betlab-master merged 1 commit into
mainfrom
codex/ci-docs-validation-20261105
Nov 5, 2026
Merged

betlab-master merged 1 commit into
mainfrom
codex/ci-docs-validation-20261105

Conversation

@betlab-master

Copy link
Copy Markdown
Contributor

Documentation used the validator module and dependency lock but only documentation paths triggered a build. Pull requests also had no nonpublishing validation path.

Add those actual inputs to push and PR filters, run PR builds on isolated hosted runners with read-only access, and use the committed lock. Keep Pages setup and publication on trusted main events, with write permissions confined to deployment and the existing serialized deployment group preserved. Pin the existing action versions to exact commits and cancel only superseded PR builds.

Validation: current locked Python 3.11 build and a fresh rebuild both succeeded with the same 9 existing warnings; all 12 generated HTML pages are byte-identical. Actionlint and event/permission checks passed. No source or documentation content changes.

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Nov 5, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-11-05T03:03:05.461412Z ee0d969 PR opened
🔒 Security Review ✅ Completed 2026-11-05T03:08:10.536095Z ee0d969 PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@betlab-master
betlab-master merged commit ecb7cf5 into main Nov 5, 2026
2 checks passed
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