diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2023-12-10 19:21:42 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-11 00:21:42 +0000 |
| commit | 1ae752b9fefb3e64114ebb4cd28f1fa0db9137c6 (patch) | |
| tree | 8c3f9ffab013b2178a089caedd503dc8c4ea5a2e /ext/data/schemas/options-schema.json | |
| parent | e0c6cf23bae41667ed49a7345dd69780eb12df23 (diff) | |
Fix issues in build-libs (#354)
Diffstat (limited to 'ext/data/schemas/options-schema.json')
| -rw-r--r-- | ext/data/schemas/options-schema.json | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/data/schemas/options-schema.json b/ext/data/schemas/options-schema.json index 7c131ecc..f5b24160 100644 --- a/ext/data/schemas/options-schema.json +++ b/ext/data/schemas/options-schema.json @@ -496,6 +496,7 @@ } ], "items": { + "type": "object", "required": [ "include", "exclude", @@ -776,6 +777,7 @@ "items": { "type": "array", "items": { + "type": "object", "required": [ "pattern", "ignoreCase", |