From 4884777984222ddfe2b35dba7691bdb1170e80cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= <arpl@cs.stanford.edu>
Date: Tue, 29 Oct 2024 13:54:49 -0700
Subject: [PATCH] Test only cvc5

---
 .github/workflows/ci.yml | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 560f21fb7..f7ef6c03c 100644
--- 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}}