diff options
| -rwxr-xr-x | tools/ci/scripts/runtest.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/scripts/runtest.sh b/tools/ci/scripts/runtest.sh index 259e5655a..dc2aa108c 100755 --- a/tools/ci/scripts/runtest.sh +++ b/tools/ci/scripts/runtest.sh @@ -91,7 +91,7 @@ function final_log { function send_command { echo -n "$1" | nc 127.0.0.1 44007 - sleep 5s + sleep 7s check_is_run check_assert } |