Cancel in progress PR CI when a new push to the same branch is made

It's a waste otherwise for how we have things set up.
ponylang · Aug 8, 2023 · 99d2dec · 99d2dec
1 parent 0973cd9
commit 99d2dec
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -2,6 +2,10 @@ name: PR
 
 on: pull_request
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   superlinter:
     name: Lint bash, docker, markdown, and yaml