Merge pull request #25 from ckipp01/concurrent

chore(ci): cancel previous running CI jobs for the same branch
ckipp01 · Jul 10, 2022 · 4416975 · 4416975
2 parents c769579 + de82182
commit 4416975
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,6 +10,14 @@ on:
       - '*'
   pull_request:
 
+
+concurrency:
+  # Taken from scalameta/metals
+  # On main, we don't want any jobs cancelled so the sha is used to name the group
+  # On PR branches, we cancel the job if new commits are pushed
+  group: ${{ (github.ref == 'refs/heads/main' ||  startsWith(github.ref, 'refs/tags') ) && format('contributor-pr-base-{0}', github.sha) || format('contributor-pr-{0}', github.ref) }}
+  cancel-in-progress: true
+
 env:
   GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}