From 78c28018d11da867241dde602b01d545d9191d76 Mon Sep 17 00:00:00 2001
From: Enno Boland <g@s01.de>
Date: Mon, 21 Aug 2023 09:38:11 +0200
Subject: [PATCH] .github: auto cancel previous action runs when new commits
 are pushed

---
 .github/workflows/ci.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 6f0a41200..bcd1f98eb 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -1,6 +1,9 @@
 name: CI
 on:
 - push
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
 jobs:
   test:
     strategy: