Automatically cancel stale CI jobs when PR content changes.

adamreichold · adamreichold · commit 601d493e1d29 · 2022-03-15T16:13:19.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -6,6 +6,10 @@ on:
       - main
   pull_request:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
+  cancel-in-progress: true
+
 jobs:
 
   lint:
