diff --git a/tools/ci-run.bash b/tools/ci-run.bash index 747685c..10f7e5c 100755 --- a/tools/ci-run.bash +++ b/tools/ci-run.bash @@ -5,4 +5,4 @@ set -euo pipefail echo "${DOCKER_PASSWORD}" | sudo -E docker login --username "${DOCKER_USERNAME}" --password-stdin make system -make publish Z=1 CI=1 +make publish Z=1 CI=1 TEST_PATIENCE=4 TEST_CONCURRENCY=1