From 15706cc5bc2815cf163058cc4568db9ca32a206d Mon Sep 17 00:00:00 2001
From: jif-oai <jif@openai.com>
Date: Wed, 17 Jun 2026 14:56:36 +0200
Subject: [PATCH] Fix skills extension argument lint

---
 codex-rs/ext/skills/src/extension.rs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/codex-rs/ext/skills/src/extension.rs b/codex-rs/ext/skills/src/extension.rs
index 8e41080030..72abd54812 100644
--- a/codex-rs/ext/skills/src/extension.rs
+++ b/codex-rs/ext/skills/src/extension.rs
@@ -646,7 +646,12 @@ pub fn install_with_providers<C>(
 ) where
     C: Send + Sync + 'static,
 {
-    install_inner(registry, providers, None, config_from_host);
+    install_inner(
+        registry,
+        providers,
+        /*host_provider*/ None,
+        config_from_host,
+    );
 }
 
 fn install_inner<C>(