diff --git a/build/ci/jenkins/Jenkinsfile b/build/ci/jenkins/Jenkinsfile index d2c8dc09a7..169205e452 100644 --- a/build/ci/jenkins/Jenkinsfile +++ b/build/ci/jenkins/Jenkinsfile @@ -12,6 +12,7 @@ pipeline { } options { timestamps() + parallelsAlwaysFailFast() } environment { PROJECT_NAME = "milvus"