From fc886110772eca0e1ad4cc0ee3d045613ad9a3a8 Mon Sep 17 00:00:00 2001
From: Dennis Doomen <dennis.doomen@greenchoice.nl>
Date: Mon, 10 Aug 2026 13:55:24 +0200
Subject: [PATCH] Cancel duplicate CI runs when push and pull_request both fire

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
---
 .github/workflows/build.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 2c27e0201..c9a242b67 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -2,6 +2,10 @@ name: Build
 
 on: [push, pull_request]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     name: "Build, Test, Analyze and Publish"