Add environment registry to exec-server#18013

Closed

starr-openai wants to merge 1 commit intomainfrom

starr/env-registry-1-exec-server

Contributor

starr-openai commented Apr 15, 2026

Summary

turn EnvironmentManager into an ID-keyed registry keyed by environment ID
add EnvironmentConfig, registration, lookup, and listing support
keep default-environment fallback semantics in exec-server

Notes

this is the storage and caching layer only
follow-up PRs thread the selected environment through core and app-server


          Add environment registry to exec-server

fd9082c

Co-authored-by: Codex <noreply@openai.com>

starr-openai mentioned this pull request

Add environment registry support #18010

Closed

Contributor Author

starr-openai commented Apr 15, 2026

Closing in favor of recombined single PR for this work.

starr-openai closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet