Merge branch 'main' into dev-unittests

elsoroka · Jul 1, 2023 · af2eacc · af2eacc
2 parents 80cb2c3 + df238bd
commit af2eacc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,6 +7,8 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@master
+      - name: Setup z3
+        run: sudo apt-get -y install z3
       - name: Set up Julia 1.8.0
         uses: julia-actions/setup-julia@v1
         with: