chore: auto-update generated files

actions-user created

Change summary

schema.json | 12 +++++++++++-
1 file changed, 11 insertions(+), 1 deletion(-)

Detailed changes

schema.json 🔗 

@@ -271,10 +271,20 @@
           "examples": [
             ".crush"
           ]
+        },
+        "disabled_tools": {
+          "items": {
+            "type": "string"
+          },
+          "type": "array",
+          "description": "Tools to disable"
         }
       },
       "additionalProperties": false,
-      "type": "object"
+      "type": "object",
+      "required": [
+        "disabled_tools"
+      ]
     },
     "Permissions": {
       "properties": {