Commit 703552e253

Loris Cro <kappaloris@gmail.com>
2022-11-24 00:07:58
ci: cancel pending CI jobs when a PR gets updated
1 parent 3adbe0a
Changed files (1)
.github
workflows
ci.yaml
.github/workflows/ci.yaml
@@ -4,6 +4,10 @@ on:
   push:
     branches: 
       - master
+concurrency: 
+  # Cancels pending runs when a PR gets updated.
+  group: ${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
 jobs:
   x86_64-linux-debug:
     outputs: