From a52317a6038cb1add71dcd921a9e015afbb4bd70 Mon Sep 17 00:00:00 2001 From: haoranchen Date: Mon, 25 Nov 2024 15:30:58 +0800 Subject: [PATCH] ci: modifying the way of writing the matching strings for the grep --- Jenkinsfile2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 3207f2a52c..f44339c8c1 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -69,7 +69,7 @@ def check_docs(){ file_no_doc_changed = sh ( script: ''' 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/"|grep -v "*.md" || : + git --no-pager diff --name-only FETCH_HEAD `git merge-base FETCH_HEAD ${CHANGE_TARGET}`|grep -v "^docs/en/"|grep -v "^docs/zh/"|grep -v ".md$" || : ''', returnStdout: true ).trim()