Experiment with msys2 ucrt64 environment in CI workflow

MatthewFluet · Jan 1, 2025 · 26807fe · 26807fe
1 parent c555607
commit 26807fe
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/.github/actions/install-bootstrap-dependencies/action.yml b/.github/actions/install-bootstrap-dependencies/action.yml
@@ -57,5 +57,5 @@ runs:
         pacboy --noconfirm -S --needed gcc:p gmp-devel:
         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 https://github.com/MLton/mlton/releases/download/on-20241230-release/mlton-20241230-1.amd64-mingw.windows-2022_MINGW64.tgz --exclude='*/share' --strip-components=1
-        rm 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
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -54,6 +54,15 @@ jobs:
             cc: "gcc"
             codegen: "c"
 
+          - runner: windows-2022
+            msystem: ucrt64
+            cc: "gcc"
+            codegen: "amd64"
+          - runner: windows-2022
+            msystem: ucrt64
+            cc: "gcc"
+            codegen: "c"
+
     runs-on: ${{ matrix.runner }}
 
     defaults: