Skip to content

Expose environment status through app-server - #32920

Merged
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/397bba603aa9e0b59008ee6cb7cbde46e357652c
Jul 14, 2026
Merged

Expose environment status through app-server#32920
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/397bba603aa9e0b59008ee6cb7cbde46e357652c

Conversation

@copyberry

@copyberry copyberry Bot commented Jul 14, 2026

Copy link
Copy Markdown

Expose environment status through app-server

What changed

  • Add the experimental environment/status request for inspecting a configured environment without starting or reconnecting it.
  • Report ready, pending, disconnected, or unknown, including error details for disconnected and unknown environments.
  • Probe ready remote environments over their existing exec-server connection.

Testing

  • Add an app-server integration test covering local and remote ready, pending, disconnected, and unknown environments.

## What changed

- Add the experimental `environment/status` request for inspecting a configured environment without starting or reconnecting it.
- Report `ready`, `pending`, `disconnected`, or `unknown`, including error details for disconnected and unknown environments.
- Probe ready remote environments over their existing exec-server connection.

## Testing

- Add an app-server integration test covering local and remote ready, pending, disconnected, and unknown environments.

GitOrigin-RevId: 397bba603aa9e0b59008ee6cb7cbde46e357652c
@copyberry
copyberry Bot force-pushed the copyberry/codex-internal-to-codex-oss/397bba603aa9e0b59008ee6cb7cbde46e357652c branch from 138cc4c to f96cf4d Compare July 14, 2026 01:49
@copyberry
copyberry Bot merged commit f96cf4d into main Jul 14, 2026
14 of 32 checks passed
@copyberry
copyberry Bot deleted the copyberry/codex-internal-to-codex-oss/397bba603aa9e0b59008ee6cb7cbde46e357652c branch July 14, 2026 01:50
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 14, 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