diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index dc75efc8f..fee1516a4 100644
--- 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