From 3c2b8b06fc931b84d0c9addc91529491ddbc8246 Mon Sep 17 00:00:00 2001
From: Jakub Beránek <jakub.beranek@vsb.cz>
Date: Fri, 23 Jun 2023 11:22:23 +0200
Subject: Cancel in-progress workflow runs after a push

---
 src/ci/github-actions/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/ci/github-actions')

diff --git a/src/ci/github-actions/ci.yml b/src/ci/github-actions/ci.yml
index a9e42e4a0a0..87a10a5e87b 100644
--- a/src/ci/github-actions/ci.yml
+++ b/src/ci/github-actions/ci.yml
@@ -305,6 +305,10 @@ defaults:
     # shell is PowerShell.)
     shell: bash
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   pr:
     permissions:
-- 
cgit 1.4.1-3-g733a5