Fix file name of binary release for windows runners

MatthewFluet · Jan 17, 2025 · db1dec2 · db1dec2
1 parent 970095a
commit db1dec2
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/actions/install-bootstrap-dependencies/action.yml b/.github/actions/install-bootstrap-dependencies/action.yml
@@ -57,6 +57,6 @@ runs:
         pacboy --noconfirm -S --needed $(if [ ${MSYSTEM} == "CLANG64" ]; then echo clang:p ; else echo gcc:p; fi) gmp:p gmp-devel:
         if [[ "${{ inputs.install-llvm }}" == "true" ]]; then pacboy --noconfirm -S --needed llvm:p ; fi
         mkdir boot && cd boot
-        curl -sOL https://github.com/MLton/mlton/releases/download/on-20241230-release/mlton-20241230-1.amd64-mingw.windows-2022_MINGW64.tgz
-        tar xzf mlton-20241230-1.amd64-mingw.windows-2022_MINGW64.tgz --exclude='*/share' --strip-components=1
-        rm mlton-20241230-1.amd64-mingw.windows-2022_MINGW64.tgz
+        curl -sOL https://github.com/MLton/mlton/releases/download/on-20241230-release/mlton-20241230-1.amd64-mingw.windows-2022_msys2_${MSYSTEM}.tgz
+        tar xzf mlton-20241230-1.amd64-mingw.windows-2022_msys2_${MSYSTEM}.tgz --exclude='*/share' --strip-components=1
+        rm mlton-20241230-1.amd64-mingw.windows-2022_msys2_${MSYSTEM}.tgz