Add concurrency settings to PR checks

2026-04-28 18:08:53 +00:00 · 2025-09-20 14:19:07 +01:00
parent 0337c4c06e
commit 6fcf631e73
56 changed files with 176 additions and 0 deletions
@@ -37,6 +37,9 @@ on:
 defaults:
  run:
    shell: bash
+concurrency:
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+  group: ${{ github.workflow }}-${{ github.ref }}
 jobs:
  analyze-ref-input:
    strategy: