chore: generate

This commit is contained in:
GitHub Action 2025-12-26 17:09:31 +00:00 committed by Aiden Cline
commit dcc5b7d6db
2 changed files with 14 additions and 4 deletions

View file

@ -1154,6 +1154,11 @@ export type KeybindsConfig = {
tips_toggle?: string tips_toggle?: string
} }
/**
* Log level
*/
export type LogLevel = "DEBUG" | "INFO" | "WARN" | "ERROR"
/** /**
* Server configuration for opencode serve and web commands * Server configuration for opencode serve and web commands
*/ */
@ -1409,10 +1414,7 @@ export type Config = {
*/ */
theme?: string theme?: string
keybinds?: KeybindsConfig keybinds?: KeybindsConfig
/** logLevel?: LogLevel
* Log level
*/
logLevel?: "DEBUG" | "INFO" | "WARN" | "ERROR"
/** /**
* TUI specific settings * TUI specific settings
*/ */

View file

@ -7697,6 +7697,11 @@
}, },
"additionalProperties": false "additionalProperties": false
}, },
"LogLevel": {
"description": "Log level",
"type": "string",
"enum": ["DEBUG", "INFO", "WARN", "ERROR"]
},
"ServerConfig": { "ServerConfig": {
"description": "Server configuration for opencode serve and web commands", "description": "Server configuration for opencode serve and web commands",
"type": "object", "type": "object",
@ -8174,6 +8179,9 @@
"keybinds": { "keybinds": {
"$ref": "#/components/schemas/KeybindsConfig" "$ref": "#/components/schemas/KeybindsConfig"
}, },
"logLevel": {
"$ref": "#/components/schemas/LogLevel"
},
"tui": { "tui": {
"description": "TUI specific settings", "description": "TUI specific settings",
"type": "object", "type": "object",