diff --git a/.jenkins_builds b/.jenkins_builds index 0d543c46..1336ecd0 100644 --- a/.jenkins_builds +++ b/.jenkins_builds @@ -52,7 +52,10 @@ pipeline { agent any steps { - sh 'scripts/run_tests.sh' + retry(2) { + sleep time: 5, unit: 'SECONDS' + sh 'scripts/run_tests.sh' + } } } diff --git a/.jenkins_macos b/.jenkins_macos index 83c5f03f..f226df07 100644 --- a/.jenkins_macos +++ b/.jenkins_macos @@ -41,7 +41,10 @@ pipeline { agent any steps { - sh 'scripts/run_tests.sh aarch64' + retry(2) { + sleep time: 5, unit: 'SECONDS' + sh 'scripts/run_tests.sh aarch64' + } } }