From 05b2f443ba9977f75034009256ed1fc9c2b6272e Mon Sep 17 00:00:00 2001 From: Amaan Qureshi Date: Fri, 15 Nov 2024 23:54:14 -0500 Subject: [PATCH] fix: clippy lint --- cli/generate/build.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cli/generate/build.rs b/cli/generate/build.rs index b423258c..6fdbc45b 100644 --- a/cli/generate/build.rs +++ b/cli/generate/build.rs @@ -14,7 +14,7 @@ fn read_git_sha() -> Option { if !crate_path .parent()? .parent() - .map_or(false, |p| p.join(".git").exists()) + .is_some_and(|p| p.join(".git").exists()) { return None; }