codex: fix timer tool argument lint (#17380)

This commit is contained in:
Eric Traut
2026-04-12 14:00:04 -07:00
parent 08554a2378
commit 86361563a2
+2 -2
View File
@@ -58,7 +58,7 @@ pub fn create_timer_tool() -> ToolSpec {
),
(
"meta".to_string(),
JsonSchema::object(BTreeMap::new(), None, Some(true.into())),
JsonSchema::object(BTreeMap::new(), /*required*/ None, Some(true.into())),
),
(
"delivery".to_string(),
@@ -115,7 +115,7 @@ pub fn create_list_timers_tool() -> ToolSpec {
description: "List thread timers for the current thread.".to_string(),
strict: false,
defer_loading: None,
parameters: JsonSchema::object(BTreeMap::new(), None, Some(false.into())),
parameters: JsonSchema::object(BTreeMap::new(), /*required*/ None, Some(false.into())),
output_schema: None,
})
}