Reduce end-to-end processes to 6

runtimeverification · Jan 16, 2025 · 3d633d3 · 3d633d3
1 parent a9fae41
commit 3d633d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -122,7 +122,7 @@ jobs:
             docker exec -u github-user kontrol-ci-integration-${GITHUB_SHA} /bin/bash -c 'CXX=clang++-14 poetry run kdist --verbose build -j`nproc` evm-semantics.haskell kontrol.foundry'
       - name: 'Run CSE and Minimize tests'
         run: |
-          TEST_ARGS='--numprocesses=8 --force-sequential -vv -k "test_kontrol_cse or test_foundry_minimize_proof"'
+          TEST_ARGS='--numprocesses=6 --force-sequential -vv -k "test_kontrol_cse or test_foundry_minimize_proof"'
           docker exec --user github-user kontrol-ci-integration-${GITHUB_SHA} make cov-integration TEST_ARGS="${TEST_ARGS}"
       - name: 'Tear down Docker'
         if: always()