diff --git a/Jenkinsfile b/Jenkinsfile index 044c7924a1a1860317abc81ee66ae228804811ac..37def9c66b3054644e1bf99a69dfb6bc59305411 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -80,7 +80,8 @@ pipeline { } steps { sh''' - cd ${WORKSPACE} + cp -r ${WORKSPACE} ${WORKSPACE}.tes + cd ${WORKSPACE}.tes git checkout develop git pull git fetch origin +refs/pull/${CHANGE_ID}/merge