[codex] validate GitHub Pages docs payload in CI#96

Merged

promptexecutionerr merged 6 commits into

mainfrom

codex/validate-pages-docs-ci

May 13, 2026

Commits on May 12, 2026

fix(ci): validate pages docs payload
Claude Sonnet (coordinator)
committed
feat(docs): wire mdbook-admonish preprocessor for mdbook 0.5 compatibility

Claude Sonnet (coordinator)
and
claude
committed
fix(ci): rename MDBOOK_* env vars to TOOL_ prefix to avoid mdbook config injection

Claude Sonnet (coordinator)
and
claude
committed

Commits on May 13, 2026

fix(docker): add kani-proofs to planner and builder COPY stages

Claude Sonnet (coordinator)
and
claude
committed
fix(release): remove unknown cog field ignore_fixup_commits

Claude Sonnet (coordinator)
and
claude
committed
fix(ci): resolve workflow validation failures on every push

Claude Sonnet (coordinator)
and
claude
committed