From 976aa8739daaebacdff832414f54cdf60d525915 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= Date: Fri, 24 Jan 2025 13:51:18 -0800 Subject: [PATCH] Change testing target in CI --- .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 1e24d786..ab9d3c2e 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 check - name: Install Python Bindings run: python3 -m pip install -e ./build/python[test,pysmt]