Skip to content

Add cached environment manager for exec server URL#15785

Merged
pakrym-oai merged 5 commits intomainfrom
pakrym/add-env-manager-before-skill
Mar 25, 2026
Merged

Add cached environment manager for exec server URL#15785
pakrym-oai merged 5 commits intomainfrom
pakrym/add-env-manager-before-skill

Conversation

@pakrym-oai
Copy link
Copy Markdown
Collaborator

@pakrym-oai pakrym-oai commented Mar 25, 2026

Add environment manager that is a singleton and is created early in app-server (before skill manager, before config loading).

Use an environment variable to point to a running exec server.

@pakrym-oai pakrym-oai force-pushed the pakrym/add-env-manager-before-skill branch from 200b9ce to 9524bd2 Compare March 25, 2026 17:36
@openai openai deleted a comment from morozow Mar 25, 2026
@pakrym-oai pakrym-oai merged commit 8fa88fa into main Mar 25, 2026
36 of 39 checks passed
@pakrym-oai pakrym-oai deleted the pakrym/add-env-manager-before-skill branch March 25, 2026 23:14
@github-actions github-actions bot locked and limited conversation to collaborators Mar 25, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

2 participants