Update mill-main to 0.11.12 (#3120)

* Update mill-main to 0.11.12 * Bump Mill launchers to 0.11.12 --------- Co-authored-by: Piotr Chabelski <ged.subfan@gmail.com>
VirtusLab · Aug 22, 2024 · 834d785 · 834d785
1 parent 180de1c
commit 834d785
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.mill-version b/.mill-version
@@ -1 +1 @@
-0.11.11
+0.11.12
diff --git a/mill.bat b/mill.bat
@@ -16,7 +16,7 @@ rem but I don't think we need to support them in 2019
 setlocal enabledelayedexpansion
 
 if [!DEFAULT_MILL_VERSION!]==[] (
-    set "DEFAULT_MILL_VERSION=0.11.11"
+    set "DEFAULT_MILL_VERSION=0.11.12"
 )
 
 set "MILL_REPO_URL=https://github.com/com-lihaoyi/mill"

diff --git a/millw b/millw
@@ -14,7 +14,7 @@
 set -e
 
 if [ -z "${DEFAULT_MILL_VERSION}" ] ; then
-  DEFAULT_MILL_VERSION=0.11.11
+  DEFAULT_MILL_VERSION=0.11.12
 fi