diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9d5ff8368..ac33b79a4 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}}