add z3 depend

someodd · Dec 31, 2024 · 16ef1bc · 16ef1bc
1 parent e590514
commit 16ef1bc
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -19,6 +19,11 @@ jobs:
         with:
           fetch-depth: 0
 
+      - name: Install Required Tools
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y z3
+
       - name: Compute Cache Key
         id: cache_key
         run: |
@@ -40,7 +45,7 @@ jobs:
       - name: Setup Haskell
         uses: haskell-actions/setup@v2
         with:
-          ghc-version: '9.6.6'
+          ghc-version: '9.6.3'
           enable-stack: 'true'
           stack-version: 'latest'
 
@@ -75,10 +80,15 @@ jobs:
             ${{ runner.os }}-stack-${{ hashFiles('stack.yaml', 'stack.yaml.lock', 'package.yaml') }}
             ${{ runner.os }}-stack-
 
+      - name: Install Required Tools
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y z3
+
       - name: Setup Haskell
         uses: haskell-actions/setup@v2
         with:
-          ghc-version: '9.6.6'
+          ghc-version: '9.6.3'
           enable-stack: 'true'
           stack-version: 'latest'