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