Skip to content

remove sandbox globals.#9797

Merged
iceweasel-oai merged 13 commits intomainfrom
dev/iceweasel/remove-sandbox-globals
Jan 27, 2026
Merged

remove sandbox globals.#9797
iceweasel-oai merged 13 commits intomainfrom
dev/iceweasel/remove-sandbox-globals

Conversation

@iceweasel-oai
Copy link
Collaborator

Threads sandbox updates through OverrideTurnContext for active turn
Passes computed sandbox type into safety/exec

@iceweasel-oai
Copy link
Collaborator Author

@codex review

@chatgpt-codex-connector
Copy link
Contributor

Codex Review: Didn't find any major issues. Keep it up!

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

@iceweasel-oai iceweasel-oai force-pushed the dev/iceweasel/remove-sandbox-globals branch from 2dc5a92 to f4789de Compare January 26, 2026 23:14
@iceweasel-oai iceweasel-oai force-pushed the dev/iceweasel/remove-sandbox-globals branch from 44caff9 to 4c83864 Compare January 26, 2026 23:37
Copy link
Collaborator

@dylan-hurd-oai dylan-hurd-oai left a comment

Choose a reason for hiding this comment

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

Couple of small comments, otherwise excited to land!

@iceweasel-oai iceweasel-oai merged commit c40ad65 into main Jan 27, 2026
51 of 53 checks passed
@iceweasel-oai iceweasel-oai deleted the dev/iceweasel/remove-sandbox-globals branch January 27, 2026 19:04
@github-actions github-actions bot locked and limited conversation to collaborators Jan 27, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants