diff options
| author | dundargoc <gocdundar@gmail.com> | 2024-03-10 13:49:00 +0100 |
|---|---|---|
| committer | dundargoc <33953936+dundargoc@users.noreply.github.com> | 2024-03-16 15:00:09 +0100 |
| commit | bf24298feaeab9dd5fea197b4b4422fee31ac33c (patch) | |
| tree | 9a3af3d031a18e8759ead52cbebe03649694d5e5 /.github/workflows/codeql.yml | |
| parent | 5da0d513b9ce1cc7e5458c14461ed4b0dad833da (diff) | |
| download | rneovim-bf24298feaeab9dd5fea197b4b4422fee31ac33c.tar.gz rneovim-bf24298feaeab9dd5fea197b4b4422fee31ac33c.tar.bz2 rneovim-bf24298feaeab9dd5fea197b4b4422fee31ac33c.zip | |
ci: simplify concurrency string
`github.ref` is now defined for both pull requests and pushes, meaning
that it can be used to simplify the concurrency group.
`cancel-in-progress` is set to true only if the trigger is a pull
request, as we don't want master runs to cancel each other out.
Diffstat (limited to '.github/workflows/codeql.yml')
| -rw-r--r-- | .github/workflows/codeql.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index c2db78dd25..135e5321e5 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -1,8 +1,8 @@ name: "codeql" concurrency: - group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }} - cancel-in-progress: true + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: ${{ github.event_name == 'pull_request' }} on: push: |