diff --git a/Jenkinsfile b/Jenkinsfile index d7afbdc061..15dd9b77a0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -90,7 +90,9 @@ pipeline { script{ skipstage=sh(script:"git --no-pager diff --name-only FETCH_HEAD develop|grep -v -E '.*md|//src//connector|Jenkinsfile|test-all.sh' || echo 0 ",returnStdout:true) } + sh''' rm -rf ${WORKSPACE}.tes + ''' } }