experimental batch tool (#2983)

Co-authored-by: GitHub Action <action@github.com>
2025-11-15 07:54:36 +01:00
parent d28e298459
commit 8ace6bc0a1
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(),
    })