diff --git a/Jenkinsfile2 b/Jenkinsfile2 index c6b54b1174..98d7a5a731 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -360,7 +360,9 @@ pipeline { parallel { stage('check docs') { agent{label " worker03 || slave215 || slave217 || slave219 || Mac_catalina "} - check_docs() + steps { + check_docs() + } } } }