Merge f7295a0c69 into 84c6914a9b

Merge pull request #4828 from quantum9Innovation/lean-gitignore
feat: create Lean.gitignore
2026-08-30 11:47:22 +02:00 · 2026-04-04 08:38:32 +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
4 changed files with 21 additions and 28 deletions
--- a/AL.gitignore
+++ b/AL.gitignore
@ -1,22 +1,24 @@
 ### AL ###
-#Template for AL projects for Dynamics 365 Business Central
-#launch.json folder
-.vscode/
-#Cache folder
-.alcache/
-#Symbols folder
+# Template for AL projects for Dynamics 365 Business Central
+# Symbols folder
 .alpackages/
-#Snapshots folder
+# Snapshots folder
 .snapshots/
-#Testing Output folder
-.output/
-#Extension App-file
-*.app
-#Rapid Application Development File
+# VSCode folder
+.alcache/
+.altemplates/
+.history/
+launch.json
 rad.json
-#Translation Base-file
-*.g.xlf
-#License-file
-*.flf
-#Test results file
+# Test folders and files
+.output/
+.altestrunner/
 TestResults.xml
+# Extension App-file
+*.app
+# Translation Base-file
+*.g.xlf
+# License-file
+*.flf
+# Include app.json
+!app.json
--- a/Agda.gitignore
+++ b/Agda.gitignore
@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
--- a/Global/AL.gitignore
+++ b/Global/AL.gitignore
@ -1,11 +0,0 @@
-.vscode/*
-!.vscode/settings.json
-!.vscode/tasks.json
-!.vscode/launch.json
-!.vscode/extensions.json
-*.code-workspace
-
-# Local History for Visual Studio Code
-.history/
-*.app
-.snapshots/*
--- a/Lean.gitignore
+++ b/Lean.gitignore
@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/
Author	SHA1	Message	Date
Joris Poppe	9469d69e66	Merge `f7295a0c69` into `84c6914a9b`	2026-04-04 08:38:32 +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 Venkatesh	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
Joris Poppe	f7295a0c69	Update AL.gitignore	2023-03-10 11:43:46 +01:00