Expose elapsed goal time in app server API

2026-04-25 07:05:38 +00:00 · 2026-04-16 11:15:45 -07:00
parent b21636640b
commit 98ea8c7525
11 changed files with 40 additions and 2 deletions
--- a/codex-rs/app-server-protocol/schema/json/codex_app_server_protocol.schemas.json
+++ b/codex-rs/app-server-protocol/schema/json/codex_app_server_protocol.schemas.json
@@ -13125,6 +13125,10 @@
          "threadId": {
            "type": "string"
          },
+          "timeUsedSeconds": {
+            "format": "int64",
+            "type": "integer"
+          },
          "tokenBudget": {
            "format": "int64",
            "type": [
@@ -13146,6 +13150,7 @@
          "objective",
          "status",
          "threadId",
+          "timeUsedSeconds",
          "tokensUsed",
          "updatedAt"
        ],