diff --git a/Lake/Version.lean b/Lake/Version.lean index f26974f1d8..da275f7970 100644 --- a/Lake/Version.lean +++ b/Lake/Version.lean @@ -7,11 +7,11 @@ Authors: Mac Malone namespace Lake def version.major := 3 -def version.minor := 0 +def version.minor := 1 def version.patch := 0 -def version.isRelease := true -def version.specialDesc := "" +def version.isRelease := false +def version.specialDesc := "pre" def versionStringCore := s!"{version.major}.{version.minor}.{version.patch}"