diff --git a/Jenkinsfile b/Jenkinsfile index f49792796c3aa2c8a2bc55dbd27fd5f0337ef94f..9ca2766ba077cf7ef7dd610378b28536c7c8c741 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -350,7 +350,7 @@ pipeline { } stages { stage('pre_build'){ - agent{label 'master'} + agent{label 'catalina'} options { skipDefaultCheckout() } when { changeRequest()