diff --git a/CAL/Docker/Jenkinsfile b/CAL/Docker/Jenkinsfile index 852e5137a02d9fbf266821c3642a64426d737993..f727c86899017abe39d3fbd2de4de55da60cd440 100644 --- a/CAL/Docker/Jenkinsfile +++ b/CAL/Docker/Jenkinsfile @@ -1,5 +1,7 @@ pipeline { - agent bob + agent { + label 'bob' + } stages { stage('Build base docker file') { steps {