diff options
author | 2022-07-09 23:33:22 +0100 | |
---|---|---|
committer | 2022-07-09 23:33:22 +0100 | |
commit | db94e04edb86bbd19285f81852ccd64d1a5350ba (patch) | |
tree | f3cff391f06795e243130dee1a6feaa300de3617 | |
parent | Simplify the error handler instance check (diff) |
Add concurrency rules to both workflows
This ensures only one workflow runs at a time for each target.
-rw-r--r-- | .github/workflows/deploy.yml | 4 | ||||
-rw-r--r-- | .github/workflows/lint.yml | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 65f9d85..dbb3d4d 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -5,6 +5,10 @@ on: branches: - main +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + jobs: push_docker_image: name: Build & Publish Docker image diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index bbd4fa0..65c855e 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -6,6 +6,10 @@ on: pull_request: branches: [ main ] +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + jobs: lint: name: "Lint code" |