diff --git a/Jenkinsfile b/Jenkinsfile index 06b925de0..5c5e9e483 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -46,9 +46,6 @@ pipeline{ } } stage ('Run integration tests') { - options { - retry(3) - } steps { sh "scripts/dev_cli.sh tests --integration" } @@ -111,9 +108,6 @@ pipeline{ } } stage ('Run integration tests for musl') { - options { - retry(3) - } steps { sh "scripts/dev_cli.sh tests --integration --libc musl" }