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

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3d3d33c6d..cf2eeb246 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -402,9 +402,10 @@ jobs:
         run: |
           set -e
           cd build
-          make -j$(nproc)
-          make -j$(nproc) examples
-          make -j$(nproc) test-z3
+          JOBS=$(getconf _NPROCESSORS_ONLN 2>/dev/null || sysctl -n hw.ncpu || echo 1)
+          make -j"$JOBS"
+          make -j"$JOBS" examples
+          make -j"$JOBS" test-z3
           ./cpp_example
           ./c_example
           cd ..