From: Jonathan Lebon <jonathan@jlebon.com>
Date: Tue, 21 Nov 2023 20:31:38 +0000 (-0500)
Subject: ci: cancel previous build on PR update
X-Git-Tag: archive/raspbian/2023.8-1+rpi1^2~9^2^2~11^2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=8002983d45cad31258b8dbc75435fd5d74d6ca07;p=ostree.git

ci: cancel previous build on PR update

This is an easy way to save CI resources; when a PR is updated, abort
any previous build for that PR to focus on testing the latest push.
---

diff --git a/.cci.jenkinsfile b/.cci.jenkinsfile
index 82e2d1ac..1f41be1a 100644
--- a/.cci.jenkinsfile
+++ b/.cci.jenkinsfile
@@ -1,5 +1,10 @@
 // Documentation: https://github.com/coreos/coreos-ci/blob/main/README-upstream-ci.md
 
+properties([
+  // abort previous runs when a PR is updated to save resources
+  disableConcurrentBuilds(abortPrevious: true)
+])
+
 stage("Build") {
   def n = 5
   buildPod(memory: "2Gi", cpu: "${n}") {