Cancel in-progress CI jobs when a newer commit supersedes them (#2136)

2026-09-22 13:47:05 +00:00 · 2026-09-21 19:21:28 +02:00
parent 04bbe80ae0
commit 2882424407
8 changed files with 32 additions and 0 deletions
@@ -1,6 +1,10 @@
 name: Diff completeness check
 on: pull_request

+concurrency:
+  group: ${{github.workflow}}-${{github.event.pull_request.number || github.ref}}
+  cancel-in-progress: true
+
 env:
  # Force colored output (see https://bixense.com/clicolors/ and https://force-color.org/)
  TERM: xterm-256color