Merge 6502030068 into 84c6914a9b

feat: create Lean.gitignore

.github/workflows/stale.yml

@@ -21,10 +21,10 @@ jobs:
     steps:
       - uses: actions/stale@5bef64f19d7facfb25b37b414482c7164d639639 # v9.1.0
         with:
-          stale-pr-message: 'This PR is stale because there have been no updates in 90 days. It will close after 180 days of inactivity. Leave a comment if you want to keep it open :smile:'
-          close-pr-message: 'This PR has been closed because it was inactive for 180 days. If you want to continue working on it, please open a new PR.'
+          stale-pr-message: 'This PR is stale because there have been no updates in 90 days. It will close after 365 days of inactivity. Leave a comment if you want to keep it open.'
+          close-pr-message: 'This PR has been closed because it was inactive for 365 days. If you want to continue working on it, please open a new PR.'
           days-before-stale: 90
-          days-before-close: 180
+          days-before-close: 365
           stale-pr-label: 'stale'
           exempt-pr-labels: 'keep'
           close-issue-reason: not_planned

Agda.gitignore

@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**

C++.gitignore

@@ -21,6 +21,8 @@
 *.so
 *.dylib
 *.dll
+*.so.*
+
 
 # Fortran module files
 *.mod
@@ -37,5 +39,31 @@
 *.out
 *.app
 
+# Build directories
+build/
+Build/
+build-*/
+
+# CMake generated files
+CMakeFiles/
+CMakeCache.txt
+cmake_install.cmake
+Makefile
+install_manifest.txt 
+compile_commands.json
+
+# Temporary files
+*.tmp 
+*.log 
+*.bak 
+*.swp 
+
+# vcpkg
+vcpkg_installed/
+
 # debug information files
 *.dwo
+
+# test output & cache
+Testing/
+.cache/

Dotnet.gitignore

@@ -36,6 +36,9 @@ ScaffoldingReadMe.txt
 # NuGet Symbol Packages
 *.snupkg
 
+# dotenv environment variables file
+.env
+
 # Others
 ~$*
 *~

Global/JetBrains.gitignore

@@ -81,3 +81,6 @@ http-client.private.env.json
 # Apifox Helper cache
 .idea/.cache/.Apifox_Helper
 .idea/ApifoxUploaderProjectSetting.xml
+
+# Github Copilot persisted session migrations, see: https://github.com/microsoft/copilot-intellij-feedback/issues/712#issuecomment-3322062215
+.idea/**/copilot.data.migration.*.xml

Global/STM32CubeIDE.gitignore

@@ -0,0 +1,51 @@
+# STM32CubeIDE specific files
+
+# Project-specific settings. Ignore it if developers have different preferences.
+# However, if you want all team members to use the same code formatting and settings, 
+# consider including the .settings folder in the repository.
+
+# /.settings/
+
+# Ignore Eclipse-based IDE launch configurations.
+# Uncomment if you want each developer to have their own unique debug configurations.
+#*.launch
+
+# Ignore any JLink-related files (debug configurations).
+# Uncomment if you want each developer to have their own unique debug configurations.
+#*.jlink
+
+# Ignore log files generated by the IDE.
+# These are not necessary for version control.
+*.log
+
+# Build files
+
+# Ignore build output directories.
+# These are not needed in the repository as they are generated during the build process.
+Debug/
+Release/
+
+# Ignore common binary and object files generated during compilation.
+# They should not be included in the repository as they are build artifacts.
+*.elf
+*.map
+*.bin
+*.hex
+*.srec
+*.lst
+*.o
+*.d
+*.a
+*.su
+*.crl
+
+#TouchGFX files (in case your project has touchGFX)
+TouchGFX/generated
+TouchGFX/build
+TouchGFX/simulator/msvs/.vs
+
+# Backup files
+
+# Ignore temporary and backup files generated by the operating system and editor.
+# These are not needed in the repository.
+*.bak

Lean.gitignore

@@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/

Node.gitignore

@@ -126,6 +126,9 @@ dist
 # Stores VSCode versions used for testing VSCode extensions
 .vscode-test
 
+# pnpm
+.pnpm-store
+
 # yarn v3
 .pnp.*
 .yarn/*