From a0f90de9ce58bd04234cb48f9a3b4273be2ad516 Mon Sep 17 00:00:00 2001
From: Sam Cowger <sam@galois.com>
Date: Thu, 29 Aug 2024 11:18:31 -0700
Subject: [PATCH] ci: cancel existing jobs on push

---
 .github/workflows/server-ci.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/server-ci.yml b/.github/workflows/server-ci.yml
index 14e5b3f..f80342a 100644
--- a/.github/workflows/server-ci.yml
+++ b/.github/workflows/server-ci.yml
@@ -8,6 +8,11 @@ on:
     branches:
       - main
 
+# Cancel in-progress job when a new push is performed
+concurrency:
+  group: ci-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     strategy: