gitea source for verification 2026-05-22
Some checks are pending
release-nightly / nightly-binary (push) Waiting to run
release-nightly / nightly-docker-rootful (push) Waiting to run
release-nightly / nightly-docker-rootless (push) Waiting to run

This commit is contained in:
2026-05-22 16:44:59 +08:00
commit 7a61cd3abc
5650 changed files with 690128 additions and 0 deletions

7
options/gitignore/Idris Normal file
View File

@@ -0,0 +1,7 @@
# Idris 2
*.ttc
*.ttm
# Idris 1
*.ibc
*.o