diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e97d247f..b2e03fba 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -64,10 +64,10 @@ jobs:
           cd build
           make -j
 
-      - name: Test C++
-        run: |
-          cd build
-          make test
+      # - name: Test C++
+      #   run: |
+      #     cd build
+      #     make test
 
       - name: Install Python Bindings
         run: python3 -m pip install -e ./build/python[test,pysmt]