Codex-generated pull request #890
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Codex generated this pull request, but encountered an unexpected error after generation. This is a placeholder PR message.
Codex Task
Note
Medium Risk
Changes CLI argument semantics and filesystem path resolution in a build/push script, which could break existing workflows relying on the old required positional env id or different
--pathexpectations.Overview
Updates the
verifiers/scripts/build.pyCLI so the positional environment id is optional: when provided it’s appended to--path(after hyphen→underscore normalization), and when omitted the script treats--pathas the explicit environment directory and infers the env id from that folder name.Adds
_resolve_env_push_targetplus unit tests to cover both resolution modes, tightens path validation to check the resolved environment directory, and updates docs/skills to showprime env push my-envinstead of requiring--path ./environments/my_env.Written by Cursor Bugbot for commit 3564f3a. This will update automatically on new commits. Configure here.