Install Z3 when running 2023 tests

gchazot · Dec 15, 2024 · bb381fe · bb381fe
1 parent c67eae2
commit bb381fe
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 20 deletions.
diff --git a/.github/workflows/run_tests.yml b/.github/workflows/run_tests.yml
@@ -54,6 +54,14 @@ jobs:
         if: ${{ matrix.language == 'python'}}
         run: python -m unittest discover -t . -s ${{ matrix.folder }} -p "*.py"
 
+      - name: Setup Z3
+        if: ${{ matrix.folder == 'year_2023' }}
+        id: z3
+        uses: cda-tum/setup-z3@v1
+        with:
+          add_to_library_path: true
+          version: 4.11.2
+
       - name: Setup Rust
         if: ${{ matrix.language == 'rust' }}
         uses: dtolnay/rust-toolchain@stable

diff --git a/year_2023/Cargo.lock b/year_2023/Cargo.lock
diff --git a/year_2023/Cargo.toml b/year_2023/Cargo.toml
@@ -7,4 +7,4 @@ edition = "2021"
 
 [dependencies]
 aoc_utils = { path = "../aoc_utils" }
-z3 = { version = "0.12", features = ["static-link-z3"] }
+z3 = "0.12.1"