From 1ba56667b5cd72ef633f84b1f49fc1cb14a54cd3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 3 Aug 2026 20:36:53 -0700 Subject: [PATCH] Fix cmake build command for parallel execution --- .github/workflows/clang-tidy-warning-report.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/clang-tidy-warning-report.yml b/.github/workflows/clang-tidy-warning-report.yml index 8be32eac68..1c97cbe97c 100644 --- a/.github/workflows/clang-tidy-warning-report.yml +++ b/.github/workflows/clang-tidy-warning-report.yml @@ -46,7 +46,7 @@ jobs: 2>&1 | tee /tmp/clang-tidy-warning-report/configure.log || configure_status=$? if [ "$configure_status" -eq 0 ]; then - cmake --build build --target shell test-z3 --parallel $(nproc) -- -k 0 \ + cmake --build build --target shell --parallel $(nproc) -- -k 0 \ 2>&1 | tee /tmp/clang-tidy-warning-report/build.log || build_status=$? else printf 'configure failed; build skipped\n' | tee /tmp/clang-tidy-warning-report/build.log