diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2023-08-22 11:26:01 +0100 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2023-08-22 11:26:01 +0100 |
| commit | e7d67efd13f83ba9a6f6e62cb6d12ce37716a404 (patch) | |
| tree | 1cd77c3ca5c545123e742962871731b77417e170 /.github | |
| parent | 38db2bd4e144065c515a222e1ae3d4ca7677e428 (diff) | |
ci: Use concurrency for pull requests only
Otherwise, any previously pending workflow will be canceled on the
following push.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 87668cd662..94ba1aa21b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,8 +14,8 @@ on: - '**' concurrency: - group: ${{ github.ref }} - cancel-in-progress: ${{ github.event_name == 'pull_request' }} + group: ${{ github.event_name != 'pull_request' && github.run_id || github.ref }} + cancel-in-progress: true env: DANGER_RUN_CI_ON_HOST: 1 |