From 5262382330bd17340c755a733cbaf3c902c1239e Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Wed, 1 Jan 2025 08:09:46 -0500
Subject: [PATCH] Experiment with msys2 ucrt64 environment in CI workflow

---
 .github/workflows/ci.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 628be3a0a..7524c8b09 100644
--- 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: