Update integration test configuration to reduce the number of process…

…es from 4 to 2 for stable booster integration test.
runtimeverification · Dec 17, 2024 · fb71be2 · fb71be2
1 parent 65e3d02
commit fb71be2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -94,7 +94,7 @@ jobs:
           if [ ${{ matrix.backend }} == 'legacy' ]; then
             TEST_ARGS+=' --no-use-booster --numprocesses=6'
           else
-            TEST_ARGS+=' --numprocesses=4'
+            TEST_ARGS+=' --numprocesses=2'
           fi
           docker exec --user github-user kontrol-ci-integration-${GITHUB_SHA} make cov-integration TEST_ARGS="${TEST_ARGS}"
       - name: 'Tear down Docker'