experimental batch tool (#2983)

Co-authored-by: GitHub Action <action@github.com>
2025-11-15 00:54:36 -06:00
parent 35c737ac68
commit 1056b36eae
5 changed files with 154 additions and 5 deletions
@@ -622,6 +622,7 @@ export namespace Config {
            .optional(),
          chatMaxRetries: z.number().optional().describe("Number of retries for chat completions on failure"),
          disable_paste_summary: z.boolean().optional(),
+          batch_tool: z.boolean().optional().describe("Enable the batch tool"),
        })
        .optional(),
    })