diff --git a/Jenkinsfile b/Jenkinsfile index 516b179dce12184f6841ddb3d007781d216345cd..335ab5773abb63a454639db9b4cfb12fda3b7da4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -45,6 +45,7 @@ def pre_test(){ git pull git fetch origin +refs/pull/${CHANGE_ID}/merge git checkout -qf FETCH_HEAD + git --no-pager diff --name-only FETCH_HEAD $(git merge-base FETCH_HEAD develop)|grep -v -E '.*md|//src//connector|Jenkinsfile' || exit(0) cd ${WK} git reset --hard HEAD~10 git checkout develop