diff --git a/Jenkinsfile b/Jenkinsfile index 0a43e161..6bf0cb49 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -117,7 +117,9 @@ pipeline { stage('prep') { steps { script { - docker_run("reset hardware", 3, "python ./tests/ci_reset_hw.py") + retry (3) { + docker_run("reset hardware", 3, "python ./tests/ci_reset_hw.py") + } } } }