xxq250
/
homework-jianmu
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Merge pull request #16293 from taosdata/ci/TD-18521 

ci: ignore return value while check changed files if it is a docs PR
This commit is contained in:
wade zhang 2022-08-22 16:46:38 +08:00 committed by GitHub
parent 05db189a17 63fd6f4cee
commit e3e9b580f6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Jenkinsfile2
View File

@ -60,7 +60,7 @@ def check_docs() {
def file_changed = sh ( def file_changed = sh (
script: ''' script: '''
cd ${WKC} cd ${WKC}
git --no-pager diff --name-only FETCH_HEAD `git merge-base FETCH_HEAD ${CHANGE_TARGET}`|grep -v "^docs/en/"|grep -v "^docs/zh/" git --no-pager diff --name-only FETCH_HEAD `git merge-base FETCH_HEAD ${CHANGE_TARGET}`|grep -v "^docs/en/"|grep -v "^docs/zh/" || :
''', ''',
returnStdout: true returnStdout: true
).trim() ).trim()