github-ci: cancel previous builds workflow for branch

On a push of the same branch, cancel the previous running builds.yml
workflow.

diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
index 62748b10e985229988992c0dd7f849eb909cb67e..adb2a7f2330e29467baa59038bde80c301c0a245 100644 (file)
--- a/.github/workflows/builds.yml
+++ b/.github/workflows/builds.yml
@@ -12,6 +12,10 @@ on:
       SV_REPO:
       SV_BRANCH:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 permissions: read-all
 
 env: