Merge pull request #30115 from taosdata/tomchon-patch-10

fix: delete taos-tools repo in Jenkinsfile2
This commit is contained in:
Simon Guan 2025-03-11 21:05:42 +08:00 committed by GitHub
commit d5b6d46811
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 10 deletions

View File

@ -112,16 +112,6 @@ def build_pre_docs(){
git fetch origin +refs/pull/${CHANGE_ID}/merge
git checkout -qf FETCH_HEAD
'''
sh '''
cd ${DOC_WKC}/${tools_repo}
git reset --hard
git clean -f
git fetch
git remote prune origin
git checkout ''' + env.CHANGE_TARGET + '''
git pull >/dev/null
'''
}
}