Wojciech Różowski fed2f32651 chore: revert "feat: add lake builtin-lint (#13422) ... This PR reverts leanprover/lean4#13393.		2026-04-15 19:28:59 +00:00
..
examples	feat: lake: fixedToolchain package configuration (#12935)	2026-03-17 02:37:55 +00:00
tests	chore: revert "feat: add lake builtin-lint (#13422)	2026-04-15 19:28:59 +00:00
.gitattributes
.gitignore
build.sh
clean-build.sh
lakefile.toml	feat: lake: cached compressed module artifacts (#12914)	2026-03-16 04:36:19 +00:00
Makefile
time-build.sh