From 0df1eb567cf9907957f671f67fa3f7a9152aeed7 Mon Sep 17 00:00:00 2001
From: Taras Madan <tarasmadan@google.com>
Date: Wed, 8 May 2024 14:37:08 +0200
Subject: ci.yml: cancel old workflows

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

(limited to '.github/workflows')

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c17e163e2..75ace8f9e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -9,6 +9,11 @@ on: [push, pull_request]
 permissions:
   contents: read
 
+# https://stackoverflow.com/questions/66335225/how-to-cancel-previous-runs-in-the-pr-when-you-push-new-commitsupdate-the-curre
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   aux:
     runs-on: ubuntu-latest
-- 
cgit mrf-deployment