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