codex: fix CI failure on PR #23230

This commit is contained in:
Dylan Hurd
2026-05-17 20:41:29 -07:00
parent 4203429e33
commit 049ddd2681

View File

@@ -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"
},