Update the version of z3 used in CI to 4.15.1

Author: facundominguez

.circleci/config.yml

@@ -10,8 +10,8 @@ commands:
           name: Install z3
           command: |
             # Config version
-            z3version="z3-4.8.17"
-            z3distributiontype="x64-glibc-2.31"
+            z3version="z3-4.15.1"
+            z3distributiontype="x64-glibc-2.39"
             z3full="${z3version}-${z3distributiontype}"
 
             # Download and install
@@ -145,14 +145,14 @@ jobs:
   # support GHC 9.12 yet.
   stack_900:
     machine:
-      image: default
+      image: ubuntu-24.04:current
     steps:
         - stack_build_and_test:
             stack_yaml_file: "stack.yaml"
             extra_build_flags: "--flag liquidhaskell-boot:devel"
   cabal_9122:
     machine:
-      image: default
+      image: ubuntu-24.04:current
     steps:
       - cabal_build_and_test:
           ghc_version: "9.12.2"

.github/workflows/cabal.yml

@@ -18,7 +18,7 @@ jobs:
         ghc:
           - "9.12.2"
         z3:
-          - "4.10.2"
+          - "4.15.1"
 
     steps:
       - uses: actions/checkout@v4
@@ -29,6 +29,7 @@ jobs:
         uses: pavpanchekha/setup-z3@6b2d476d7a9227e0d8d2b94f73cd9fcba91b5e98
         with:
           version: ${{ matrix.z3 }}
+          distribution: glibc-2.39
 
       - name: Workaround runner image issue
         # https://github.com/actions/runner-images/issues/7061