From e2b72a587a0f991bd6da196c8a2b37a726f1ff2c Mon Sep 17 00:00:00 2001 From: Dylan Hurd Date: Sun, 17 May 2026 17:41:46 -0700 Subject: [PATCH] codex: fix CI failure on PR #23118 --- 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 5fcd8eb070..ec87df34bd 100644 --- a/codex-rs/core/config.schema.json +++ b/codex-rs/core/config.schema.json @@ -606,6 +606,9 @@ "skill_mcp_dependency_install": { "type": "boolean" }, + "skill_search_tool": { + "type": "boolean" + }, "sqlite": { "type": "boolean" }, @@ -4744,6 +4747,9 @@ "skill_mcp_dependency_install": { "type": "boolean" }, + "skill_search_tool": { + "type": "boolean" + }, "sqlite": { "type": "boolean" },