Update Jenkinsfile

jenkinsci · Aug 8, 2019 · 4e56fc7 · 4e56fc7
1 parent 18abfe3
commit 4e56fc7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,6 @@
-node('linux') {  
+node('linux') {
     stage('pre-commit') {
-            checkout scm
+            infra.checkout(null)
             sh '''
                git --version
                curl https://pre-commit.com/install-local.py | python -