diff --git a/Jenkinsfile b/Jenkinsfile index 8b3756df593ba05daa3c2160310817dcfc6d685f..3e6f3d018dba5e547ee393e23998ca87681c0d93 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -59,7 +59,7 @@ pipeline { agent{label "185"} steps { sh ''' - date + cd ${WKC} git checkout develop git pull