Merge pull request #15034 from taosdata/docs/skip_docs_pr

ci: skip docs pr
This commit is contained in:
wade zhang 2022-07-18 11:52:50 +08:00 committed by GitHub
commit b174dd35ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions

View File

@ -333,6 +333,11 @@ pipeline {
}
stages {
stage('run test') {
when {
allOf {
not { expression { env.CHANGE_BRANCH =~ /docs\// }}
}
}
parallel {
stage('windows test') {
agent{label " windows10_01 || windows10_02 || windows10_03 || windows10_04 "}