try using pacboy

crytic · Apr 9, 2024 · b54f832 · b54f832
1 parent 8b327fa
commit b54f832
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -229,7 +229,7 @@ jobs:
         if: runner.os == 'Windows'
         with:
           update: true
-          install: mingw-w64-x86_64-z3
+          pacboy: z3:p
 
       - name: Download testsuite
         uses: actions/download-artifact@v4