From f8530323b1ed56dcaad64d5f850c24ea9dda9f4f Mon Sep 17 00:00:00 2001
From: Sam Alws <sam.alws@trailofbits.com>
Date: Tue, 9 Apr 2024 13:59:42 -0400
Subject: [PATCH] windows z3 package name, use apt-get rather than apt

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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