1 files changed, 10 insertions, 12 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index d5be6d5c9..67787f659 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -88,18 +88,16 @@ pipeline {
             steps {
                 script {
                     dir('build') {
-                        checkout([
-                            $class: 'GitSCM',
-                            branches: [[name: getGitBranchName()]],
-                            doGenerateSubmoduleConfigurations: false,
-                            extensions: [[$class: 'CleanCheckout']],
-                            submoduleCfg: [],
-                            userRemoteConfigs: [[
-                                refspec: '+refs/pull/*/head' +
-                                         ':refs/remotes/origin/*',
-                                url: getGitRepoURL()
-                            ]]
-                        ])
+                        scm {
+                            git {
+                                remote {
+                                    name(getGitRepoName())
+                                    url(getGitRepoURL())
+                                    refspec('+refs/pull/*:refs/remotes/origin/pr/*')
+                                }
+                                branch('${sha1}')
+                            }
+                        }
                     }
                 }
             }