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:'
+          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 180 days. If you want to continue working on it, please open a new PR.'
+          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/*

Python.gitignore

@@ -27,8 +27,8 @@ share/python-wheels/
 MANIFEST
 
 # PyInstaller
-#  Usually these files are written by a python script from a template
+#   Usually these files are written by a python script from a template
-#  before PyInstaller builds the exe, so as to inject date/other infos into it.
+#   before PyInstaller builds the exe, so as to inject date/other infos into it.
 *.manifest
 *.spec
 
@@ -92,34 +92,34 @@ ipython_config.py
 #   However, in case of collaboration, if having platform-specific dependencies or dependencies
 #   having no cross-platform support, pipenv may install dependencies that don't work, or not
 #   install all needed dependencies.
-#Pipfile.lock
+# Pipfile.lock
 
 # UV
 #   Similar to Pipfile.lock, it is generally recommended to include uv.lock in version control.
 #   This is especially recommended for binary packages to ensure reproducibility, and is more
 #   commonly ignored for libraries.
-#uv.lock
+# uv.lock
 
 # poetry
 #   Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
 #   This is especially recommended for binary packages to ensure reproducibility, and is more
 #   commonly ignored for libraries.
 #   https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
-#poetry.lock
+# poetry.lock
-#poetry.toml
+# poetry.toml
 
 # pdm
 #   Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
 #   pdm recommends including project-wide configuration in pdm.toml, but excluding .pdm-python.
 #   https://pdm-project.org/en/latest/usage/project/#working-with-version-control
-#pdm.lock
+# pdm.lock
-#pdm.toml
+# pdm.toml
 .pdm-python
 .pdm-build/
 
 # pixi
 #   Similar to Pipfile.lock, it is generally recommended to include pixi.lock in version control.
-#pixi.lock
+# pixi.lock
 #   Pixi creates a virtual environment in the .pixi directory, just like venv module creates one
 #   in the .venv directory. It is recommended not to include this directory in version control.
 .pixi
@@ -182,23 +182,23 @@ dmypy.json
 cython_debug/
 
 # PyCharm
-#  JetBrains specific template is maintained in a separate JetBrains.gitignore that can
+#   JetBrains specific template is maintained in a separate JetBrains.gitignore that can
-#  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
+#   be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
-#  and can be added to the global gitignore or merged into this file.  For a more nuclear
+#   and can be added to the global gitignore or merged into this file.  For a more nuclear
-#  option (not recommended) you can uncomment the following to ignore the entire idea folder.
+#   option (not recommended) you can uncomment the following to ignore the entire idea folder.
-#.idea/
+# .idea/
 
 # Abstra
-# Abstra is an AI-powered process automation framework.
+#   Abstra is an AI-powered process automation framework.
-# Ignore directories containing user credentials, local state, and settings.
+#   Ignore directories containing user credentials, local state, and settings.
-# Learn more at https://abstra.io/docs
+#   Learn more at https://abstra.io/docs
 .abstra/
 
 # Visual Studio Code
-#  Visual Studio Code specific template is maintained in a separate VisualStudioCode.gitignore
+#   Visual Studio Code specific template is maintained in a separate VisualStudioCode.gitignore 
-#  that can be found at https://github.com/github/gitignore/blob/main/Global/VisualStudioCode.gitignore
+#   that can be found at https://github.com/github/gitignore/blob/main/Global/VisualStudioCode.gitignore
-#  and can be added to the global gitignore or merged into this file. However, if you prefer,
+#   and can be added to the global gitignore or merged into this file. However, if you prefer, 
-#  you could uncomment the following to ignore the entire vscode folder
+#   you could uncomment the following to ignore the entire vscode folder
 # .vscode/
 
 # Ruff stuff: