interim

wintered · Oct 18, 2024 · d43c94a · d43c94a
1 parent 7578d3a
commit d43c94a
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -13,7 +13,7 @@ jobs:
     - name: Install Python dependencies
       run: |
         sudo apt-get update
-        sudo apt-get install -y python3
+        sudo apt-get install -y python3 parallel z3 cvc5  
 
     - name: Install GHC and Cabal
       run: |
@@ -27,8 +27,6 @@ jobs:
 
     - name: Test ET 
       run: |
-        git clone https://github.com/wintered/ET
-        cd ET
         bin/gen_tester grammars/Bitvectors.g4
         #bin/run_tester 2 1000 Bitvectors solvers.cfg