mirror of
https://github.com/Z3Prover/z3
synced 2026-08-02 20:23:27 +00:00
7b0a54c849
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> |
||
|---|---|---|
| .. | ||
| actions | ||
| agents | ||
| aw | ||
| prompts | ||
| scripts | ||
| skills | ||
| workflows | ||
| CI_MIGRATION.md | ||
| CI_TESTING.md | ||
| copilot-instructions.md | ||
| dependabot.yml | ||
| mcp.json | ||