From 66890fb5d3003081748935cccf50981e8c4559b4 Mon Sep 17 00:00:00 2001
From: Stanislas <git@slange.me>
Date: Tue, 9 Dec 2025 19:47:02 +0100
Subject: [PATCH] ci: prevent duplicate workflow runs (#1324)

## Summary
- Restrict `push` trigger to `master` branch only (feature branch pushes
won't trigger CI)
- Add concurrency groups to cancel redundant runs when new commits are
pushed
- Works correctly with fork PRs using standard `pull_request` event
---
 .github/workflows/docker-test.yml |  5 +++++
 .github/workflows/lint.yml        | 10 +++++++++-
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docker-test.yml b/.github/workflows/docker-test.yml
index 80df170..86dc00d 100644
--- a/.github/workflows/docker-test.yml
+++ b/.github/workflows/docker-test.yml
@@ -1,11 +1,16 @@
 ---
 on:
   push:
+    branches: [master]
   pull_request:
   workflow_dispatch:
 
 name: Docker Test
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 permissions:
   contents: read
 
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index f7cf46d..3093834 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -1,7 +1,15 @@
-on: [push, pull_request, workflow_dispatch]
+on:
+  push:
+    branches: [master]
+  pull_request:
+  workflow_dispatch:
 
 name: Lint
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 permissions:
   contents: read