CI flakiness fix: reduce numprocesses for integration tests (#769)

* Experiment: reduce numprocesses for integration tests * Make `numprocesses` conditional based on the backend
runtimeverification · Aug 13, 2024 · a56c9c4 · a56c9c4
1 parent 7547212
commit a56c9c4
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -90,8 +90,12 @@ 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 integration tests'
         run: |
-          TEST_ARGS='--numprocesses=6 -vv -k "not (test_kontrol_cse or test_foundry_minimize_proof or test_kontrol_end_to_end)"'
-          [ ${{ matrix.backend }} == 'legacy' ] && TEST_ARGS+=' --no-use-booster'
+          TEST_ARGS='-vv -k "not (test_kontrol_cse or test_foundry_minimize_proof or test_kontrol_end_to_end)"'
+          if [ ${{ matrix.backend }} == 'legacy' ]; then
+            TEST_ARGS+=' --no-use-booster --numprocesses=6'
+          else
+            TEST_ARGS+=' --numprocesses=4'
+          fi
           docker exec --user github-user kontrol-ci-integration-${GITHUB_SHA} make cov-integration TEST_ARGS="${TEST_ARGS}"
       - name: 'Tear down Docker'
         if: always()