Skip to content

Split safe dev-tool bumps from #64; retain Hawk runtime pins - #68

Open
jrh-mann wants to merge 1 commit into
mainfrom
codex/dev-tools-only
Open

jrh-mann wants to merge 1 commit into
mainfrom
codex/dev-tools-only

Conversation

@jrh-mann

Copy link
Copy Markdown
Contributor

Extract only the dev-tool updates from #64: basedpyright 1.40.2, pre-commit 4.7.0 and types-PyYAML 6.0.12.20260906.

Retain semver>=3.0,<3.1 and pin inspect-ai==0.3.266 to the Hawk 3.7.2 runner version. No runtime package upgrades; the lock diff changes only the three named dev tools and the project's constraint metadata. Do not merge #64 as-is.

Validated the exact Helm output 3.21.3+g1ad6e68 (including its trailing newline) with semver 3.0.4 and confirmed the installed Inspect pin. No paid calls.

This branch has not been deployed

No deployments
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.

2 participants