Documentation

Lake.CLI.Actions

source
def Lake.env (cmd : String) (args : optParam (Array String) #[]) :
Lake.LakeT IO UInt32
Instances For
    source
    def Lake.exe (name : Lake.Name) (args : optParam (Array String) #[]) (oldMode : optParam Bool false) :
    Lake.LakeT Lake.LogIO UInt32
    Instances For
      source
      def Lake.uploadRelease (pkg : Lake.Package) (tag : String) :
      Lake.LogIO Unit
      Instances For