Merge a8a587d016 into 84c6914a9b

Merge pull request #4828 from quantum9Innovation/lean-gitignore
feat: create Lean.gitignore
2026-11-06 01:54:39 +01:00 · 2026-04-04 09:06:03 +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 10 additions and 4 deletions
@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
@@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/
@@ -62,9 +62,6 @@ web_modules/
 # Output of 'npm pack'
 *.tgz

-# Yarn Integrity file
-.yarn-integrity
-
 # dotenv environment variable files
 .env
 .env.*
@@ -131,6 +128,12 @@ dist

 # yarn v3
 .pnp.*
+
+# Snyk cache files
+.dccache
+
+# Yarn files
+.yarn-integrity
 .yarn/*
 !.yarn/patches
 !.yarn/plugins
@@ -142,3 +145,4 @@ dist
 vite.config.js.timestamp-*
 vite.config.ts.timestamp-*
 .vite/
+
Author	SHA1	Message	Date
Diego Betto	95ce1f1a35	Merge `a8a587d016` into `84c6914a9b`	2026-04-04 09:06:03 +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
Diego Betto	a8a587d016	Merge branch 'main' into patch-1	2025-09-19 10:09:09 +02:00
Diego Betto	48cc02e680	Adds Snyk cache file Generated by Snyk Visual Studio extension (https://docs.snyk.io/ide-tools/visual-studio-extension) I think can be added in all supported languages: https://docs.snyk.io/products/snyk-open-source/language-and-package-manager-support	2022-07-10 10:42:00 +02:00