Merge 0fecd1b436 into 84c6914a9b

Merge pull request #4828 from quantum9Innovation/lean-gitignore
feat: create Lean.gitignore
2026-11-07 10:30:43 +01:00 · 2026-04-04 02:51:46 +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 6 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/
@@ -97,3 +97,6 @@ InitTestScene*.unity*

 # Auto-generated scenes by play mode tests
 /[Aa]ssets/[Ii]nit[Tt]est[Ss]cene*.unity*
+
+# UI Toolkit auto generated files
+/UIElementsSchema
Author	SHA1	Message	Date
Krolti	9596b8b09d	Merge `0fecd1b436` into `84c6914a9b`	2026-04-04 02:51:46 +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
Krolti	0fecd1b436	Merge branch 'github:main' into Unity-/UIElementsSchema-.gitignore	2025-11-29 22:36:47 +03:00
Krolti	c0aa4c66f9	Added /UIElementsSchema to unity .gitignore /UIElementsSchema is an auto-generated folder created by Unity. It is used in the UI Toolkit. In Unity discussions, staff have confirmed that this folder can be safely ignored. https://discussions.unity.com/t/uielementsschema/805120	2025-11-03 10:47:50 +03:00