diff --git a/Jenkinsfile b/Jenkinsfile index c19a720d49..398ce0f869 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -76,36 +76,7 @@ def pre_test(){ git fetch origin +refs/pull/${CHANGE_ID}/merge git checkout -qf FETCH_HEAD git clean -dfx - ''' - script { - if (env.CHANGE_TARGET == 'master') { - sh ''' - cd ${WK} - git checkout master - ''' - } - else if(env.CHANGE_TARGET == '2.0'){ - sh ''' - cd ${WK} - git checkout 2.0 - ''' - } - else if(env.CHANGE_TARGET == '3.0'){ - sh ''' - cd ${WK} - git checkout 3.0 - ''' - } - else{ - sh ''' - cd ${WK} - git checkout develop - ''' - } - } - sh ''' - cd ${WK} - git pull >/dev/null + git clean -dfx export TZ=Asia/Harbin date @@ -124,11 +95,11 @@ pipeline { options { skipDefaultCheckout() } environment{ WK = '/var/lib/jenkins/workspace/TDinternal' - WKC= '/var/lib/jenkins/workspace/TDinternal/community' + WKC= '/var/lib/jenkins/workspace/TDengine' } stages { stage('pre_build'){ - agent{label 'master'} + agent{label 'slave3_0'} options { skipDefaultCheckout() } when { changeRequest()