diff --git a/Jenkinsfile b/Jenkinsfile index 9151b22576602cdc8df5d16701fbb5f4a89bb0c6..f793d8c7730c751bcdf66a7edeaa36d926e4f3ff 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -44,7 +44,7 @@ def pre_test(){ git reset --hard HEAD~10 >/dev/null git pull git fetch origin +refs/pull/${CHANGE_ID}/merge - + git checkout -qf FETCH_HEAD cd ${WK} git reset --hard HEAD~10 git checkout develop