fix: leanOptions in lakefile.toml schema (#9988)

This PR fixes a bug in the `lakefile.toml` schema where it would issue
an invalid validation for multi-layer `leanOptions` .
This commit is contained in:
Marc Huisinga 2025-08-19 16:43:01 +02:00 committed by GitHub
parent 24cafcd65d
commit cab46ea3d1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -8,9 +8,13 @@
"type": [
"string",
"boolean",
"integer"
"integer",
"object"
],
"minimum": 0,
"additionalProperties": {
"$ref": "#/definitions/leanOptionValue"
},
"description": "A `set_option` string / boolean / natural number configuration value."
},
"leanConfig": {