Update CI workflow to make use of new testing target

stanford-centaur · Sep 16, 2024 · 5cbcaa0 · 5cbcaa0
1 parent bb4c9f4
commit 5cbcaa0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -81,7 +81,7 @@ jobs:
       - name: Test C++
         run: |
           cd build
-          make test
+          make -j check
 
       - name: Install Python Bindings
         run: python3 -m pip install -e ./build/python[test,pysmt]