From b8736991f3dc8ebf9a4fdc9ab111580c250ad626 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <5377127+levnach@users.noreply.github.com>
Date: Fri, 20 Mar 2026 14:05:36 -1000
Subject: [PATCH] Update .github/workflows/ci.yml

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
---
 .github/workflows/ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 06f32ee34..3d3d33c6d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -452,7 +452,8 @@ jobs:
         run: |
           set -e
           cd build
-          make -j$(nproc) libz3java.dylib
+          NPROC=$(getconf _NPROCESSORS_ONLN 2>/dev/null || sysctl -n hw.ncpu 2>/dev/null || echo 1)
+          make -j"$NPROC" libz3java.dylib
           cd ..
 
       - name: Validate libz3java.dylib is x86_64