Update Jenkinsfile

jenkinsci · Aug 8, 2019 · 3579c4a · 3579c4a
1 parent 18abfe3
commit 3579c4a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,11 +1,11 @@
-node('linux') {  
+node('linux') {
     stage('pre-commit') {
-            checkout scm
+            infra.checkout(null)
             sh '''
                git --version
                curl https://pre-commit.com/install-local.py | python -
                /home/jenkins/bin/pre-commit run --all-files
            '''
     }
 }
-buildPlugin()
+buildPlugin()