Merge 25506bfe57 into 84c6914a9b

Merge pull request #4828 from quantum9Innovation/lean-gitignore
feat: create Lean.gitignore
2026-11-06 10:00:40 +01:00 · 2026-04-04 09:28:14 +00:00 · 2026-04-03 17:05:51 -07:00 · 2026-04-03 20:04:27 -04:00 · 2026-03-28 21:42:41 -07:00
1 changed files with 2 additions and 0 deletions
@@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/
Author	SHA1	Message	Date
Charles A Moonen	bcf149748c	Merge `25506bfe57` into `84c6914a9b`	2026-04-04 09:28:14 +00:00
Devin Dooley	84c6914a9b	Merge pull request #4828 from quantum9Innovation/lean-gitignore feat: create Lean.gitignore	2026-04-03 17:05:51 -07:00
Ananth VenkateshandDevin Dooley	5f760225cf	fix: only match on `.lake` directory Co-authored-by: Devin Dooley <dooleydevin@github.com>	2026-04-03 20:04:27 -04:00
Ananth Venkatesh	b9ad512a45	feat: create Lean.gitignore	2026-03-28 21:42:41 -07:00