Commit 2025-03-12 20:08 a7d3139b
View on Github →ci: put cache cleanup step after lean is installed (#22887)
Followup to #22863. The current workflow breaks builds because lake is not installed yet.
ci: put cache cleanup step after lean is installed (#22887)
Followup to #22863. The current workflow breaks builds because lake is not installed yet.