From 331433245a83fa8b50d7213efbbaf222fca8a7e1 Mon Sep 17 00:00:00 2001 From: Roy Keene Date: Fri, 21 Dec 2018 09:40:05 -0600 Subject: [PATCH] Extend test retry (#1495) --- ci/test.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ci/test.sh b/ci/test.sh index 9c03cec7..cb167f71 100755 --- a/ci/test.sh +++ b/ci/test.sh @@ -44,13 +44,13 @@ run_tests() { TIMEOUT_TIME_ARG="" fi - if [ "$(date +%s)" -lt 1545350400 ]; then - tries=(1 2 3 4 5 6 7 8 9) + if [ "$(date +%s)" -lt 1555718400 ]; then + tries=(_initial_ 1 2 3 4 5 6 7 8 9) else - tries=() + tries=(_initial_) fi - for try in _initial_ "${tries[@]}"; do + for try in "${tries[@]}"; do if [ "${try}" != '_initial_' ]; then echo "core_test failed: ${core_test_res}, retrying (try=${try})"