Skip to content

[codex] support executor registry remote environments#21323

Merged
miz-openai merged 6 commits into
mainfrom
codex/executor-registry-on-main
May 8, 2026
Merged

[codex] support executor registry remote environments#21323
miz-openai merged 6 commits into
mainfrom
codex/executor-registry-on-main

Conversation

@miz-openai
Copy link
Copy Markdown
Contributor

@miz-openai miz-openai commented May 6, 2026

Summary

Support registry-backed remote executors end to end so downstream services can resolve an executor id into an exec-server URL and make that environment available to Codex without relying on the legacy cloud environments flow.

What changed

  • switch remote executor registration to the executor registry bootstrap contract
  • allow named remote environments to be inserted into EnvironmentManager at runtime
  • add the experimental app-server RPC environment/add so initialized experimental clients can register those remote environments for later thread/start and turn/start selection

Validation

Ran focused validation locally:

  • cargo test -p codex-exec-server environment_manager_
  • cargo test -p codex-exec-server register_executor_posts_with_bearer_token_header
  • cargo test -p codex-app-server-protocol

@miz-openai miz-openai marked this pull request as ready for review May 6, 2026 09:30
@miz-openai miz-openai changed the title [codex] support executor registry environments [codex] support executor registry remote environments May 8, 2026
@miz-openai miz-openai force-pushed the codex/executor-registry-on-main branch from e679c76 to b915240 Compare May 8, 2026 18:47
@miz-openai miz-openai force-pushed the codex/executor-registry-on-main branch from b0f5c6a to ef5a1a4 Compare May 8, 2026 22:55
@miz-openai miz-openai merged commit 8f40208 into main May 8, 2026
26 checks passed
@miz-openai miz-openai deleted the codex/executor-registry-on-main branch May 8, 2026 23:30
@github-actions github-actions Bot locked and limited conversation to collaborators May 8, 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.

3 participants