chore: auto-update generated files
commit08a039dc342991f6549fa4b517f06012bb7c6aa1
authoractions-user <actions@github.com>
dateFri 12 Sep 2025, 09:36 (1 year ago)
parentad50cf4
schema.json+11−1
@@ -271,10 +271,20 @@
271271 "examples": [
272272 ".crush"
273273 ]
274+ },
275+ "disabled_tools": {
276+ "items": {
277+ "type": "string"
278+ },
279+ "type": "array",
280+ "description": "Tools to disable"
274281 }
275282 },
276283 "additionalProperties": false,
277− "type": "object"
284+ "type": "object",
285+ "required": [
286+ "disabled_tools"
287+ ]
278288 },
279289 "Permissions": {
280290 "properties": {