diff --git a/codex-rs/app-server-protocol/src/jsonrpc_lite.rs b/codex-rs/app-server-protocol/src/jsonrpc_lite.rs index e458125dd..9d6d6da06 100644 --- a/codex-rs/app-server-protocol/src/jsonrpc_lite.rs +++ b/codex-rs/app-server-protocol/src/jsonrpc_lite.rs @@ -11,6 +11,7 @@ pub const JSONRPC_VERSION: &str = "2.0"; #[serde(untagged)] pub enum RequestId { String(String), + #[ts(type = "number")] Integer(i64), }