diff options
author | Joas Schilling <coding@schilljs.com> | 2022-10-13 15:18:40 +0200 |
---|---|---|
committer | Joas Schilling <coding@schilljs.com> | 2022-10-13 15:18:40 +0200 |
commit | ebfb7927ab97d9ab1d72153709e470c2d2b8f26d (patch) | |
tree | 826c92defbeeab2a8379aef51cd7e681cfe76765 /.github/workflows/lint-php-cs.yml | |
parent | 0aa1950b49b3e469160d1b02d875ab75fd12c235 (diff) |
🔀 Use concurrency feature
Signed-off-by: Joas Schilling <coding@schilljs.com>
Diffstat (limited to '.github/workflows/lint-php-cs.yml')
-rw-r--r-- | .github/workflows/lint-php-cs.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/lint-php-cs.yml b/.github/workflows/lint-php-cs.yml index de7b34d5b..425443dab 100644 --- a/.github/workflows/lint-php-cs.yml +++ b/.github/workflows/lint-php-cs.yml @@ -8,6 +8,10 @@ name: Lint on: pull_request: +concurrency: + group: lint-php-cs-${{ github.head_ref || github.run_id }} + cancel-in-progress: true + jobs: lint: runs-on: ubuntu-latest |