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" |