ci: add apt install step to install solver

reservoir-labs · Mar 4, 2023 · 88351a5 · 88351a5
1 parent c423c79
commit 88351a5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -21,6 +21,7 @@ jobs:
         with:
           version: nightly
       - run: forge build
+      - run: sudo apt install z3 -y
 
   lint:
     runs-on: ubuntu-latest