From 049ddd2681983c8194a5744cfaedbf9f453341af Mon Sep 17 00:00:00 2001 From: Dylan Hurd Date: Sun, 17 May 2026 20:41:29 -0700 Subject: [PATCH] codex: fix CI failure on PR #23230 --- codex-rs/core/config.schema.json | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/codex-rs/core/config.schema.json b/codex-rs/core/config.schema.json index 07f49a3cd6..d5eb20079d 100644 --- a/codex-rs/core/config.schema.json +++ b/codex-rs/core/config.schema.json @@ -487,6 +487,9 @@ "plugin_hooks": { "type": "boolean" }, + "plugin_install_list_tool": { + "type": "boolean" + }, "plugin_sharing": { "type": "boolean" }, @@ -4273,6 +4276,9 @@ "plugin_hooks": { "type": "boolean" }, + "plugin_install_list_tool": { + "type": "boolean" + }, "plugin_sharing": { "type": "boolean" },