Sebastian Ullrich 47787dc1cb perf: rebuild leak on private match (#10246) ... This PR prevents downstream rebuilds on changes to private `match`es under the module system		2025-09-04 12:51:42 +00:00
..
.gitignore
lakefile.toml
lean-toolchain
Rebuild.lean
test.sh	perf: rebuild leak on private match (#10246)	2025-09-04 12:51:42 +00:00