chore: make github actions single concurrency

MikaAK · Feb 1, 2024 · b321e9c · b321e9c
1 parent 8fd7c06
commit b321e9c
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 0 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -2,6 +2,10 @@ name: Coverage
 
 on: push
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   Coverage:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/credo.yml b/.github/workflows/credo.yml
@@ -2,6 +2,10 @@ name: Credo
 
 on: push
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   Credo:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/dialyzer.yml b/.github/workflows/dialyzer.yml
@@ -2,6 +2,10 @@ name: Dialyzer
 
 on: push
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   Dialyzer:
     runs-on: ubuntu-latest