fix: lake: add lake help cache

tydeu · tydeu · commit 5aa283d44875 · 2025-09-29T14:08:00.000+02:00
diff --git a/src/lake/Lake/CLI/Help.lean b/src/lake/Lake/CLI/Help.lean
@@ -516,6 +516,7 @@ public def help : (cmd : String) → String
 | "pack"                => helpPack
 | "unpack"              => helpUnpack
 | "upload"              => helpUpload
+| "cache"               => helpCacheCli
 | "test"                => helpTest
 | "check-test"          => helpCheckTest
 | "lint"                => helpLint
