ci, gha: Ensure only a single workflow processes github.ref at a time

2023-08-17 14:32:43 +01:00
parent 3d05c86d63
commit b0886fd35c
1 changed files with 4 additions and 0 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -7,6 +7,10 @@ on:
    tags-ignore:
      - '**'

+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+
 env:
  ### compiler options
  HOST: