core/core-agent-ide
8
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
core-agent-ide/codex-rs/app-server-protocol/src
History
Michael Bolin eabe18714f
fix: use number instead of bigint for the generated TS for RequestId (#4575) 
Before this PR:

```typescript
export type RequestId = string | bigint;
```

After:

```typescript
export type RequestId = string | number;
```

`bigint` introduces headaches in TypeScript without providing any real
value.
2025-10-01 12:10:20 -07:00
..
jsonrpc_lite.rs fix: use number instead of bigint for the generated TS for RequestId (#4575) 2025-10-01 12:10:20 -07:00
lib.rs fix: remove mcp-types from app server protocol (#4537) 2025-10-01 02:16:26 +00:00
protocol.rs fix: remove mcp-types from app server protocol (#4537) 2025-10-01 02:16:26 +00:00