test -j nproc/2

OffchainLabs · Oct 14, 2023 · da098d5 · da098d5
1 parent dbf8331
commit da098d5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/arbitrator-ci.yml b/.github/workflows/arbitrator-ci.yml
@@ -23,6 +23,7 @@ jobs:
   coverage:
     name: Run Arbitrator tests
     runs-on: ubuntu-8
+    concurrency: arbitrator-ci
     steps:
       - name: Checkout
         uses: actions/checkout@v3
@@ -166,7 +167,7 @@ jobs:
           args: --all --manifest-path arbitrator/Cargo.toml -- --check
 
       - name: Make proofs from test cases
-        run: make -j test-gen-proofs
+        run: echo nproc/2:$(($(nproc)/2)); make -j $(($(nproc)/2)) test-gen-proofs
 
       - name: Create code-coverage files
         run: |