diff --git a/ci/Jenkinsfile.combined b/ci/Jenkinsfile.combined index ef006b2790..efbec1b612 100644 --- a/ci/Jenkinsfile.combined +++ b/ci/Jenkinsfile.combined @@ -1,4 +1,4 @@ -library 'status-jenkins-lib@v1.2.12' +library 'status-jenkins-lib@v1.2.13' pipeline { agent { label 'linux' } diff --git a/ci/Jenkinsfile.linux b/ci/Jenkinsfile.linux index ad2b7b756c..f1b4f604d3 100644 --- a/ci/Jenkinsfile.linux +++ b/ci/Jenkinsfile.linux @@ -1,4 +1,4 @@ -library 'status-jenkins-lib@v1.2.12' +library 'status-jenkins-lib@v1.2.13' pipeline { agent { diff --git a/ci/Jenkinsfile.macos b/ci/Jenkinsfile.macos index 990f715760..32e96c662a 100644 --- a/ci/Jenkinsfile.macos +++ b/ci/Jenkinsfile.macos @@ -1,4 +1,4 @@ -library 'status-jenkins-lib@v1.2.12' +library 'status-jenkins-lib@v1.2.13' pipeline { agent { diff --git a/ci/Jenkinsfile.windows b/ci/Jenkinsfile.windows index 1ef8617fef..a3feed13e6 100644 --- a/ci/Jenkinsfile.windows +++ b/ci/Jenkinsfile.windows @@ -1,4 +1,4 @@ -library 'status-jenkins-lib@v1.2.12' +library 'status-jenkins-lib@v1.2.13' pipeline { agent { label 'windows' }