Skip to content

Update post-plan workflow instructions#304

Merged
lewtun merged 1 commit into
mainfrom
codex/update-post-plan-workflow
Jun 8, 2026
Merged

Update post-plan workflow instructions#304
lewtun merged 1 commit into
mainfrom
codex/update-post-plan-workflow

Conversation

@lewtun
Copy link
Copy Markdown
Member

@lewtun lewtun commented Jun 8, 2026

Summary

  • Document that agents should run checks, commit, open a PR, then start backend and frontend local dev servers after implementing a plan.

Tests

  • uv run --frozen --extra dev ruff check .
  • uv run --frozen --extra dev ruff format --check .

Co-authored-by: OpenAI Codex <codex@openai.com>
@github-actions
Copy link
Copy Markdown

github-actions Bot commented Jun 8, 2026

Claude finished @lewtun's task in 23s —— View job


PR Review

LGTM — no blocking issues.

This is a one-line documentation addition to AGENTS.md:36. It's consistent with the surrounding guidance and introduces no code, routing, auth, or agent-loop behavior to review.

  • Read the diff (git diff origin/main...HEAD)
  • Reviewed AGENTS.md in full context
  • Posted review

Notes:

  • The new line at AGENTS.md:36 reinforces the existing PR-first rule (AGENTS.md:35) and points to the dev-server commands already documented under "Local Dev Servers" (AGENTS.md:3-9) and the check commands under "Development Checks" (AGENTS.md:20). Coherent and non-contradictory.
  • P2 (informational, non-blocking): the instruction places "start the backend and frontend local dev servers" after "open a GitHub PR." In practice testing usually precedes opening the PR. Wording like "run checks, start the dev servers to test, then commit and open a PR" would order the steps more naturally — but this is purely stylistic and not worth blocking on.
    · codex/update-post-plan-workflow

@lewtun lewtun merged commit 7e43393 into main Jun 8, 2026
3 checks passed
@lewtun lewtun deleted the codex/update-post-plan-workflow branch June 8, 2026 09:18
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