Skip to content

[codex] regenerate forge docs#830

Draft
skhomuti wants to merge 1 commit into
developfrom
codex/update-forge-deploy-docs
Draft

[codex] regenerate forge docs#830
skhomuti wants to merge 1 commit into
developfrom
codex/update-forge-deploy-docs

Conversation

@skhomuti

@skhomuti skhomuti commented Jun 25, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Regenerate Forge documentation with forge doc.
  • Add generated documentation pages that were missing from docs/src.
  • Add AGENTS.md guidance that docs/src/ is generated output, may be stale, and must not be edited manually.

Motivation

docs/src/ is generated by Forge and should not be treated as the source of truth. Updating it through forge doc keeps the generated directory internally consistent and makes the workflow explicit for future agents.

Validation

  • env PATH=/Users/skhomuti/.cache/codex-runtimes/codex-primary-runtime/dependencies/node/bin:/opt/homebrew/bin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin just deps
  • forge build --skip test --skip script
  • forge doc -j 4
  • rg -n "just (deploy-local|deploy-live-dry|deploy-live|deploy-live-no-confirm|deploy-impl-live|deploy-impl-dry|verify-live|upgrade-v3)" docs/src AGENTS.md returns no matches

@skhomuti skhomuti force-pushed the codex/update-forge-deploy-docs branch from f2a7385 to e6a0119 Compare June 25, 2026 07:44
@skhomuti skhomuti changed the title [codex] update forge deploy docs [codex] regenerate forge docs Jun 25, 2026
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