diff --git a/Lean.gitignore b/Lean.gitignore
index f4361862..d4aa2921 100644
--- a/Lean.gitignore
+++ b/Lean.gitignore
@@ -1,2 +1,2 @@
 # cache and other artifacts produced by Lean's Lake build tool
-.lake
+.lake/