diff --git a/Jenkinsfile b/Jenkinsfile index f4b13c8d9066ae49e9f49158e564f44c1f54b81f..cd3e054589ded9067bb8a1deea5638c74c8b51cc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,5 @@ #!/usr/bin/env groovy -@Library('jenkins-pipeline@1.0.12') _ +@Library('jenkins-pipeline@1.0.13') _ def stage_required = [build: false, data: false, full: false, docker: false]