fix: limit parallel jobs in ci

limit number of parallel jobs on macos as its version of make seems to be overwhelmed with too many jobs, causing an error
chrjabs · Feb 22, 2024 · 32f5a73 · 32f5a73
1 parent 19f1227
commit 32f5a73
Show file tree

Hide file tree

Showing 6 changed files with 31 additions and 5 deletions.
diff --git a/.github/workflows/cadical.yml b/.github/workflows/cadical.yml
@@ -26,5 +26,10 @@ jobs:
           shared-key: "build-test"
       - name: Cargo build
         run: cargo build -p rustsat-cadical --verbose
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
       - name: Cargo test
-        run: cargo test -p rustsat-cadical --verbose
+        run: cargo test -p rustsat-cadical --verbose
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
+
diff --git a/.github/workflows/glucose.yml b/.github/workflows/glucose.yml
@@ -26,5 +26,9 @@ jobs:
           shared-key: "build-test"
       - name: Cargo build
         run: cargo build -p rustsat-glucose --verbose
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
       - name: Cargo test
-        run: cargo test -p rustsat-glucose --verbose
+        run: cargo test -p rustsat-glucose --verbose
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
diff --git a/.github/workflows/kissat.yml b/.github/workflows/kissat.yml
@@ -26,5 +26,10 @@ jobs:
           shared-key: "build-test"
       - name: Cargo build
         run: cargo build -p rustsat-kissat --verbose
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
       - name: Cargo test
-        run: cargo test -p rustsat-kissat --verbose
+        run: cargo test -p rustsat-kissat --verbose
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
+
diff --git a/.github/workflows/minisat.yml b/.github/workflows/minisat.yml
@@ -26,5 +26,9 @@ jobs:
           shared-key: "build-test"
       - name: Cargo build
         run: cargo build -p rustsat-minisat --verbose
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
       - name: Cargo test
-        run: cargo test -p rustsat-minisat --verbose
+        run: cargo test -p rustsat-minisat --verbose
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
diff --git a/.github/workflows/rustsat.yml b/.github/workflows/rustsat.yml
@@ -26,8 +26,12 @@ jobs:
           shared-key: "build-test"
       - name: Cargo build
         run: cargo build -p rustsat --verbose --features=all
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
       - name: Cargo test
         run: cargo test -p rustsat --verbose --features=all
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
 
   pystubs:
     name: Test python stubs

diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml
@@ -26,5 +26,9 @@ jobs:
           shared-key: "build-test"
       - name: Cargo build
         run: cargo build -p rustsat-tools --verbose
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}
       - name: Cargo test
-        run: cargo test -p rustsat-tools --verbose
+        run: cargo test -p rustsat-tools --verbose
+        env:
+          CMAKE_BUILD_PARALLEL_LEVEL: ${{ fromJSON('["", "4"]')[matrix.os == 'macos-latest'] }}