maybe this will make z3 install work for windows

crytic · Apr 9, 2024 · 3af4b52 · 3af4b52
1 parent f673423
commit 3af4b52
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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