Test only cvc5

stanford-centaur · Oct 29, 2024 · ca65ffb · ca65ffb
1 parent a37fa98
commit ca65ffb
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -8,12 +8,7 @@ jobs:
         os: [ubuntu-latest, macos-latest]
         name:
           [
-            btor,
-            bitwuzla,
-            cvc5,
-            msat,
-            yices2,
-            z3
+            cvc5
           ]
 
         include: