From 5cbcaa087232d35ea7513cfa67581c5a4c678bcc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= Date: Mon, 16 Sep 2024 01:52:09 -0700 Subject: [PATCH] Update CI workflow to make use of new testing target --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 31fa88ef..4c7838c9 100644 --- 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]