diff --git a/tests/parallel_test/Jenkinsfile b/tests/parallel_test/Jenkinsfile index 95c8cf83d9b6b2514588234cbce27c06343e4c17..e70087520295e47e608adf561941dcbeae6faa5f 100644 --- a/tests/parallel_test/Jenkinsfile +++ b/tests/parallel_test/Jenkinsfile @@ -220,6 +220,13 @@ pipeline { } } stage('run test') { + options { skipDefaultCheckout() } + when { + allOf { + changeRequest() + not { expression { env.CHANGE_BRANCH =~ /docs\// }} + } + } parallel { stage ('build worker06_arm64') { agent {label " worker06_arm64 "} @@ -269,14 +276,16 @@ pipeline { date hostname ''' - timeout(time: 60, unit: 'MINUTES') { - sh ''' - date - cd ${WKC}/tests/parallel_test - time ./run.sh -m m.json -t cases.task -l ${LOGDIR} -b ${BRANCH_NAME} - date - hostname - ''' + catchError(buildResult: 'FAILURE', stageResult: 'FAILURE') { + timeout(time: 20, unit: 'MINUTES') { + sh ''' + date + cd ${WKC}/tests/parallel_test + time ./run.sh -m m.json -t cases.task -l ${LOGDIR} -b ${BRANCH_NAME} + date + hostname + ''' + } } } }