From b0886fd35c0ad05adee3fb8008e4315bf2f91f1f Mon Sep 17 00:00:00 2001
From: Hennadii Stepanov <32963518+hebasto@users.noreply.github.com>
Date: Thu, 17 Aug 2023 14:32:43 +0100
Subject: [PATCH] ci, gha: Ensure only a single workflow processes `github.ref`
 at a time

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 58a89243e4..e9ae9f027a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -7,6 +7,10 @@ on:
     tags-ignore:
       - '**'
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+
 env:
   ### compiler options
   HOST: