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 82e2d1ac845a10aecba656bf38f14c6826daf011..1f41be1a1920a118c5390ca4b5e6123daf0df98f 100644 (file)
--- 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}") {