Temporarily disable C++ tests to see Python build results in CI

CyanoKobalamyne · Jul 9, 2024 · 1664adf · 1664adf
1 parent 0683ce0
commit 1664adf
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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]