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 ..