Merge 337f44fd32 into 84c6914a9b

Merge pull request #4828 from quantum9Innovation/lean-gitignore
feat: create Lean.gitignore
2026-11-09 03:20:47 +01:00 · 2026-04-04 06:28:10 +00:00 · 2026-04-03 17:05:51 -07:00 · 2026-04-03 20:04:27 -04:00 · 2026-04-03 14:15:11 -07:00 · 2026-03-28 21:42:41 -07:00
3 changed files with 4 additions and 1 deletions
@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
@@ -0,0 +1,2 @@
 # cache and other artifacts produced by Lean's Lake build tool
 .lake/
@@ -40,6 +40,7 @@ build/Release
 # Dependency directories
 node_modules/
 jspm_packages/
 .pnpm-store/
 # Snowpack dependency directory (https://snowpack.dev/)
 web_modules/
Author	SHA1	Message	Date
Yorick de Wid	43862aade5	Merge `337f44fd32` into `84c6914a9b`	2026-04-04 06:28:10 +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
Devin Dooley	f963896e65	Merge pull request #4818 from vicgeentor/patch-1 Update Agda.gitignore to exclude MAlonzo directories in any location	2026-04-03 14:15:11 -07:00
Ananth Venkatesh	b9ad512a45	feat: create Lean.gitignore	2026-03-28 21:42:41 -07:00
Vic	8431b56bed	include MAlonzo directories in any location	2026-03-18 14:07:30 +01:00
Yorick de Wid	337f44fd32	Ignore in-tree pnpm store Under some conditions the pnpm store is placed inside the source tree.	2025-08-19 10:43:14 +02:00
`@@ -1,2 +1,2 @@`
	`*.agdai`	`*.agdai`
	`MAlonzo/**`	`/MAlonzo/`
		`@@ -0,0 +1,2 @@`
							`# cache and other artifacts produced by Lean's Lake build tool`
							`.lake/`