fix duplicated option

v1v · May 24, 2021 · 546ecdb · 546ecdb
1 parent 7524589
commit 546ecdb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -365,7 +365,6 @@ pipeline {
             }
             stage('Benchmarks') {
               agent { label 'metal' }
-              options { skipDefaultCheckout() }
               environment {
                 REPORT_FILE = 'apm-agent-benchmark-results.json'
                 HOME = "${env.WORKSPACE}"
@@ -386,6 +385,7 @@ pipeline {
               options {
                 warnError('Benchmark failed')
                 timeout(time: 1, unit: 'HOURS')
+                skipDefaultCheckout()
               }
               steps {
                 withGithubNotify(context: 'Benchmarks') {