From 748fbd96f20aef572d05544a598d6a4822641dbb Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 20 Mar 2026 12:23:27 -1000
Subject: [PATCH] Use -j$(nproc) instead of -j3 in CI make builds

Replace hardcoded -j3 with -j$(nproc) in ci.yml, nightly.yml, and
release.yml to utilize all available cores on GitHub Actions runners.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
---
 .github/workflows/ci.yml      | 30 +++++++++++++++---------------
 .github/workflows/nightly.yml |  6 +++---
 .github/workflows/release.yml |  6 +++---
 3 files changed, 21 insertions(+), 21 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index af61639da..06f32ee34 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -52,9 +52,9 @@ jobs:
         run: |
           set -e
           cd build
-          make -j3
-          make -j3 examples
-          make -j3 test-z3
+          make -j$(nproc)
+          make -j$(nproc) examples
+          make -j$(nproc) test-z3
           cd ..
 
       - name: Run unit tests
@@ -171,9 +171,9 @@ jobs:
           set -e
           cd build
           eval `opam config env`
-          make -j3
-          make -j3 examples
-          make -j3 test-z3
+          make -j$(nproc)
+          make -j$(nproc) examples
+          make -j$(nproc) test-z3
           cd ..
 
       - name: Install Z3 OCaml package
@@ -226,9 +226,9 @@ jobs:
           set -e
           cd build
           eval `opam config env`
-          make -j3
-          make -j3 examples
-          make -j3 test-z3
+          make -j$(nproc)
+          make -j$(nproc) examples
+          make -j$(nproc) test-z3
           cd ..
 
       - name: Install Z3 OCaml package
@@ -239,8 +239,8 @@ jobs:
           set -e
           cd build
           eval `opam config env`
-          make -j3
-          make -j3 _ex_ml_example_post_install
+          make -j$(nproc)
+          make -j$(nproc) _ex_ml_example_post_install
           ./ml_example_static.byte
           ./ml_example_static_custom.byte
           ./ml_example_static
@@ -402,9 +402,9 @@ jobs:
         run: |
           set -e
           cd build
-          make -j3
-          make -j3 examples
-          make -j3 test-z3
+          make -j$(nproc)
+          make -j$(nproc) examples
+          make -j$(nproc) test-z3
           ./cpp_example
           ./c_example
           cd ..
@@ -452,7 +452,7 @@ jobs:
         run: |
           set -e
           cd build
-          make -j3 libz3java.dylib
+          make -j$(nproc) libz3java.dylib
           cd ..
 
       - name: Validate libz3java.dylib is x86_64
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 0bfca820a..0decaffad 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -269,9 +269,9 @@ jobs:
           eval $(opam config env)
           python scripts/mk_make.py --ml
           cd build
-          make -j3
-          make -j3 examples
-          make -j3 test-z3
+          make -j$(nproc)
+          make -j$(nproc) examples
+          make -j$(nproc) test-z3
           cd ..
       
       - name: Generate documentation
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 1c26708e6..712490003 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -279,9 +279,9 @@ jobs:
           eval $(opam config env)
           python scripts/mk_make.py --ml
           cd build
-          make -j3
-          make -j3 examples
-          make -j3 test-z3
+          make -j$(nproc)
+          make -j$(nproc) examples
+          make -j$(nproc) test-z3
           cd ..
       
       - name: Generate documentation