From 97ea192e3e450c1ce1136d85d91309bcd733a976 Mon Sep 17 00:00:00 2001
From: Idan Horowitz <idan.horowitz@gmail.com>
Date: Thu, 1 Jul 2021 16:34:38 +0300
Subject: [PATCH] CI: Cancel duplicate workflow runs for pull requests

These are created when a pull request is force-pushed to, which results
in the unneeded waste of action runners on the obsolete CI run.
---
 .github/workflows/cmake.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
index 530d180341..9f701f120f 100644
--- a/.github/workflows/cmake.yml
+++ b/.github/workflows/cmake.yml
@@ -8,6 +8,10 @@ env:
   # github.workspace = /home/runner/work/serenity/serenity
   SERENITY_SOURCE_DIR: ${{ github.workspace }}
 
+concurrency:
+  group: ${{ github.head_ref || format('{0}-{1}', github.ref, github.run_number) }}
+  cancel-in-progress: true
+
 jobs:
   build_and_test_serenity:
     runs-on: ${{ matrix.os }}