Ahmed Ibrahim 53ea2a8dda Add pushed exec process events ...

Add a retained event stream for exec processes so subscribers can consume output and lifecycle events either live or after the process has already closed.

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

2026-04-16 12:44:09 -04:00

..

common

Stabilize Bazel tests (timeout tweaks and flake fixes) (#17791)

2026-04-16 07:57:51 -07:00

exec_process.rs

Add pushed exec process events

2026-04-16 12:44:09 -04:00

file_system.rs

[codex] Restore remote exec-server filesystem tests (#17989)

2026-04-15 20:48:13 +00:00

initialize.rs

feat: move exec-server ownership (#16344)

2026-04-10 14:11:47 +01:00

process.rs

Support piped stdin in exec process API

2026-04-16 12:44:06 -04:00

websocket.rs

feat: move exec-server ownership (#16344)

2026-04-10 14:11:47 +01:00