From af8500269f8e6efd8745a63dd3c2f665c67d0d94 Mon Sep 17 00:00:00 2001
From: Joshua Colvin <jcolvin@offchainlabs.com>
Date: Fri, 13 Oct 2023 21:03:06 -0700
Subject: [PATCH] test 4 threads, 8 processes

---
 .github/workflows/arbitrator-ci.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/arbitrator-ci.yml b/.github/workflows/arbitrator-ci.yml
index f2b141fb46..454652cc3e 100644
--- a/.github/workflows/arbitrator-ci.yml
+++ b/.github/workflows/arbitrator-ci.yml
@@ -22,7 +22,8 @@ env:
 jobs:
   coverage:
     name: Run Arbitrator tests
-    runs-on: ubuntu-8
+    runs-on: arbitrator-ci
+    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: RAYON_NUM_THREADS=4 make -j $(($(nproc)/4)) test-gen-proofs
 
       - name: Create code-coverage files
         run: |