diff --git a/src/lake/Lake/CLI/Help.lean b/src/lake/Lake/CLI/Help.lean index c431aa7c9b..93cc333566 100644 --- 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