runtimeverification · rv-jenkins · May 21, 2025 · May 22, 2025 · May 23, 2025 · May 23, 2025
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -91,7 +91,7 @@ jobs:
             docker exec -u github-user kontrol-ci-integration-${GITHUB_SHA} /bin/bash -c 'CXX=clang++-14 uv run kdist --verbose build -j`nproc` kontrol.*'
       - name: 'Run integration tests'
         run: |
-          TEST_ARGS='-vv --force-sequential -k "not (test_kontrol_cse or test_foundry_minimize_proof or test_kontrol_end_to_end)" --numprocesses=3'
+          TEST_ARGS='-vv --force-sequential -k "not (test_kontrol_cse or test_foundry_minimize_proof or test_kontrol_end_to_end)" --numprocesses=1'
           docker exec --user github-user kontrol-ci-integration-${GITHUB_SHA} make cov-integration TEST_ARGS="${TEST_ARGS}"
       - name: 'Tear down Docker'
         if: always()
@@ -143,7 +143,7 @@ jobs:
             docker exec -u github-user kontrol-ci-integration-${GITHUB_SHA} /bin/bash -c 'CXX=clang++-14 uv run kdist --verbose build -j`nproc` kontrol.*'
       - name: 'Run end-to-end tests'
         run: |
-          TEST_ARGS='--numprocesses=6 -vv --force-sequential -k "test_kontrol_end_to_end"'
+          TEST_ARGS='--numprocesses=1 -vv --force-sequential -k "test_kontrol_end_to_end"'
           docker exec --user github-user kontrol-ci-integration-${GITHUB_SHA} make cov-integration TEST_ARGS="${TEST_ARGS}"
       - name: 'Tear down Docker'
         if: always()

diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.253
+7.1.268
diff --git a/deps/kevm_release b/deps/kevm_release
@@ -1 +1 @@
-1.0.841
+1.0.848
diff --git a/deps/uv_release b/deps/uv_release
@@ -1 +1 @@
-0.7.2
+0.7.2