From 9d2267e491bcfd7ebc23ceb5687137bc01edaa94 Mon Sep 17 00:00:00 2001 From: David Gardner Date: Thu, 14 Dec 2023 17:13:33 -0800 Subject: [PATCH] CI: Jenkins abort previous test (#380) Abort a running Pipeline build if a new one is started --- test/jenkins/Jenkinsfile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/test/jenkins/Jenkinsfile b/test/jenkins/Jenkinsfile index 68990850f4..02fda4da70 100644 --- a/test/jenkins/Jenkinsfile +++ b/test/jenkins/Jenkinsfile @@ -2,6 +2,11 @@ pipeline { agent any + options { + // Abort a running Pipeline build if a new one is started + disableConcurrentBuilds(abortPrevious: true) + } + stages { stage('print-environment') {