windows z3 package name, use apt-get rather than apt

crytic · Apr 9, 2024 · f853032 · f853032
1 parent 3af4b52
commit f853032
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -222,14 +222,14 @@ jobs:
 
       - name: Install Z3 (Linux)
         if: runner.os == 'Linux'
-        run: sudo apt install z3
+        run: sudo apt-get install -y z3
 
       - name: Install Z3 (Windows)
         uses: msys2/setup-msys2@v2
         if: runner.os == 'Windows'
         with:
           update: true
-          install: z3
+          install: mingw-w64-z3
 
       - name: Download testsuite
         uses: actions/download-artifact@v4