From 7b0a54c849ef4a955877a5faf0eb04ede83d3571 Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Sat, 1 Aug 2026 13:09:04 -0700
Subject: [PATCH] clang-tidy-warning-report: parallelize build using all
 available cores (#10351)

The clang-tidy warning report workflow was building Z3 single-threaded,
making the job unnecessarily slow on multi-core runners.

## Change

- Added `--parallel $(nproc)` to the `cmake --build` invocation,
consistent with how `ci.yml` parallelizes builds (e.g. `make
-j$(nproc)`).

```yaml
cmake --build build --target shell test-z3 --parallel $(nproc) -- -k 0
```

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
---
 .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 ab83d8db65..7397f19ea9 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 -- -k 0 \
+            cmake --build build --target shell test-z3 --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