Skip to content

chore: avoid slow tests in AGENTS.md - #544

Closed
wemeetagain wants to merge 1 commit into
mainfrom
cayman/agent-tweak
Closed

wemeetagain wants to merge 1 commit into
mainfrom
cayman/agent-tweak

Conversation

@wemeetagain

Copy link
Copy Markdown
Member

We shouldn't require running the full spec test suite locally for every PR.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 7d9e2a0682

ℹ️ 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".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread AGENTS.md

1. `zig fmt --check .`
2. `zig build test`
2. Run relevant tests, avoid slow `zig build test` unless necessary

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Reconcile the conflicting pre-push test requirements

When an agent decides which tests to run before pushing, this checklist now says to avoid zig build test, while the Critical rules still require that exact command before every push. The higher-priority instruction therefore defeats this change's stated purpose and leaves contributors with contradictory guidance. Update both requirements together so the full suite is either mandatory or explicitly conditional.

AGENTS.md reference: AGENTS.md:L6-L7

Useful? React with 👍 / 👎.

@spiral-ladder spiral-ladder left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm with an optional comment, not sure which one is better, we can test things out

Comment thread AGENTS.md

1. `zig fmt --check .`
2. `zig build test`
2. Run relevant tests, avoid slow `zig build test` unless necessary

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

maybe we can be more specific? Not sure about exact wording, but i prefer stronger words like 'never'

Suggested change
2. Run relevant tests, avoid slow `zig build test` unless necessary
2. Run relevant tests, never run slow `zig build test` unless changes touch spec logic

@wemeetagain

Copy link
Copy Markdown
Member Author

@nflaig @spiral-ladder can one of you take over / reopen the PR? I don't have my gpg key on this machine?

@wemeetagain wemeetagain closed this Aug 7, 2026
@github-project-automation github-project-automation Bot moved this from In Progress to Done in Lodestar Team Coordination Aug 7, 2026
@wemeetagain

Copy link
Copy Markdown
Member Author

closing in favor of #546

@wemeetagain
wemeetagain deleted the cayman/agent-tweak branch August 17, 2026 19:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants