From 56c18cc9670a0c31bc51a6be7b67ddc311e8d587 Mon Sep 17 00:00:00 2001
From: Mobsuccess Bot <tech@mobsuccess.com>
Date: Mon, 14 Sep 2026 14:17:41 +0000
Subject: [PATCH] chore(gha): update yamllint.yml GitHub workflow

---
 .github/workflows/yamllint.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/yamllint.yml b/.github/workflows/yamllint.yml
index 7078546..acbe94a 100644
--- a/.github/workflows/yamllint.yml
+++ b/.github/workflows/yamllint.yml
@@ -13,6 +13,15 @@ on:
   pull_request:
     types: [opened, synchronize, reopened]
 
+# Cancel a run as soon as a newer commit supersedes it. Scoped to
+# pull_request/synchronize, so a push on master/preprod/prod and a merge_group
+# run are never cancelled: those results must always be recorded. A cancelled
+# run always belongs to a SHA that is no longer the head of the pull request,
+# and branch protection only evaluates the required check on the current head.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' && github.event.action == 'synchronize' }}
+
 jobs:
   validate-yaml:
     name: Validate YAML files