update: CI

tnelson · Oct 15, 2024 · 050b654 · 050b654
1 parent 61d7392
commit 050b654
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/continuousIntegration.yml b/.github/workflows/continuousIntegration.yml
@@ -29,6 +29,8 @@ jobs:
         java-version: '11'
     - name: Install cvc5 for SMT (Theory of Relations) backend engine
       run: |
+        apt-get update 
+        apt-get install -y wget unzip
         wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.2.0/cvc5-Linux-x86_64-static.zip
         unzip cvc5-Linux-x86_64-static.zip
         export PATH=$PATH:`pwd`/cvc5-Linux-x86_64-static/bin