From 79183698561790e152c515f97578e109c64cd39b Mon Sep 17 00:00:00 2001 From: Dennis Brakhane Date: Sat, 18 Jan 2025 08:15:19 +0100 Subject: [PATCH] github actions: cancel superseded PR build actions (#1030) When a PR is updated while the build action hasn't finished yet, the old action is not automatically cancelled. That build is of very limited usefulness since its results will not be shown and are not relevant anymore, so it just wastes resources. This commit fixes that, now an older build will get cancelled. --- .github/workflows/build-pr.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/build-pr.yml b/.github/workflows/build-pr.yml index 9f761aca5..1fa726172 100644 --- a/.github/workflows/build-pr.yml +++ b/.github/workflows/build-pr.yml @@ -3,6 +3,10 @@ name: Pull Request Verification on: pull_request +concurrency: + group: ${{ github.ref }} + cancel-in-progress: true + jobs: windows: