Merge branch 'main' into rename-port

This commit is contained in:
raghotham 2025-01-10 10:48:35 -08:00 committed by GitHub
commit df2bc35054
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
21 changed files with 27 additions and 91 deletions

View file

@ -4503,10 +4503,6 @@
}
]
}
},
"tool_prompt_format": {
"$ref": "#/components/schemas/ToolPromptFormat",
"default": "json"
}
},
"additionalProperties": false,
@ -6522,10 +6518,6 @@
}
]
}
},
"tool_prompt_format": {
"$ref": "#/components/schemas/ToolPromptFormat",
"default": "json"
}
},
"additionalProperties": false,

View file

@ -2600,9 +2600,6 @@ components:
type: string
tool_host:
$ref: '#/components/schemas/ToolHost'
tool_prompt_format:
$ref: '#/components/schemas/ToolPromptFormat'
default: json
toolgroup_id:
type: string
type:
@ -2704,9 +2701,6 @@ components:
items:
$ref: '#/components/schemas/ToolParameter'
type: array
tool_prompt_format:
$ref: '#/components/schemas/ToolPromptFormat'
default: json
required:
- name
type: object