chore(ci): set concurrency on deploy workflow

This helps to avoid the problem we've had that if two PRs get merged to main quickly after one another, we run into GitHub API rate limits.
cdktf · Dec 4, 2023 · 49de660 · 49de660
1 parent 5ade0bd
commit 49de660
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -6,6 +6,8 @@ on:
     branches:
       - main
 
+concurrency: ${{ github.workflow }}-${{ github.ref }}
+
 jobs:
   build-shard-matrix:
     runs-on: ubuntu-latest