diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a7e0c82ab..dc75efc8f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -225,8 +225,11 @@ jobs:
         run: sudo apt install z3
 
       - name: Install Z3 (Windows)
+        uses: msys2/setup-msys2@v2
         if: runner.os == 'Windows'
-        run: pacman -S mingw-w64-x86_64-z3
+        with:
+          update: true
+          install: z3
 
       - name: Download testsuite
         uses: actions/download-artifact@v4