Commit 2025-03-12 17:21 6cdd25ac

ci: run lake exe cache clean if cache is larger than 10 GB (#22863) Our hoskinson runners have been going down periodically due to the .cache directory getting too large. This adds a step to the build which should keep it within a reasonable size. cf. Zulip