Test only cvc5

stanford-centaur · Oct 29, 2024 · 3ab70ce · 3ab70ce
1 parent a37fa98
commit 3ab70ce
Showing 1 changed file with 1 addition and 12 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -8,20 +8,9 @@ jobs:
         os: [ubuntu-latest, macos-latest]
         name:
           [
-            btor,
-            bitwuzla,
-            cvc5,
-            msat,
-            yices2,
-            z3
+            cvc5
           ]
 
-        include:
-          - name: msat
-            setup_opts: --auto-yes
-          - name: yices2
-            extra_macos_packages: autoconf
-
     name: ${{ matrix.os }}:${{ matrix.name }} 
     runs-on: ${{ matrix.os}}