👷 Add Z3 Setup to enable Synthesizer

cda-tum · Jun 8, 2024 · be81273 · be81273
1 parent 7ea38e1
commit be81273
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -27,6 +27,13 @@ jobs:
           fetch-depth: 0
       # set up MSVC development environment
       - uses: ilammy/msvc-dev-cmd@v1
+      # Setup Z3
+      - name: Setup Z3
+        uses: cda-tum/setup-z3@v1
+        with:
+          version: "4.13.0"
+        env:
+          GITHUB_TOKEN: ${{ github.token }}
       # set up ccache for faster C++ builds
       - name: Setup ccache
         uses: Chocobo1/setup-ccache-action@v1