Try cda-tum/setup-z3

.github/workflows/main.yml

@@ -19,10 +19,8 @@ jobs:
         include:
           # Test building from source from a subset of versions
           - dafny: 4.0.0
-            os: ubuntu-latest
             build-from-source: v4.0.0
           - dafny: 4.9.1
-            os: ubuntu-latest
             build-from-source: v4.9.1
 
     steps:

build_dafny_from_source/action.yml

@@ -24,17 +24,10 @@ runs:
         path: dafny
         ref: ${{ inputs.ref }}
 
-    # TODO: support all three platforms
-    - name: Load Z3
-      shell: bash
-      run: |
-        sudo apt-get update && sudo apt-get install -qq libarchive-tools
-        mkdir -p dafny/Binaries/z3/bin
-        wget -qO- https://github.com/dafny-lang/solver-builds/releases/download/snapshot-2023-08-02/z3-4.12.1-x64-ubuntu-20.04-bin.zip | bsdtar -xf -
-        mv z3-4.12.1 dafny/Binaries/z3/bin/
-        chmod +x dafny/Binaries/z3/bin/z3-4.12.1
-        mkdir -p unzippedRelease/dafny/z3/bin
-        ln dafny/Binaries/z3/bin/z3-4.12.1 unzippedRelease/dafny/z3/bin/z3-4.12.1
+    - name: Setup Z3
+      uses: cda-tum/[email protected]
+      with:
+        version: 4.12.1
 
     - name: Build Dafny
       shell: bash