From f8da01571e516cf4f42372c259c4bea595f9052b Mon Sep 17 00:00:00 2001
From: Nadja Yang <nadja@njy.dev>
Date: Tue, 31 Mar 2026 02:38:07 -0400
Subject: [PATCH] build static library by default

---
 lakefile.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lakefile.toml b/lakefile.toml
index 0fe8cbf..594333e 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -7,6 +7,7 @@ experimental.module = true
 
 [[lean_lib]]
 name = "Cli"
+defaultFacets = ["static"]
 
 [[lean_lib]]
 name = "CliTest"