Add collaboration developer instructions (#9424)

- Add additional instructions when they are available
- Make sure to update them on change either UserInput or UserTurn
This commit is contained in:
Ahmed Ibrahim
2026-01-17 17:31:14 -08:00
committed by GitHub
parent 80d7a5d7fe
commit 1478a88eb0
11 changed files with 875 additions and 43 deletions

View File

@@ -24,6 +24,7 @@ mod cli_stream;
mod client;
mod client_websockets;
mod codex_delegate;
mod collaboration_instructions;
mod compact;
mod compact_remote;
mod compact_resume_fork;