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.
This commit is contained in:
dundargoc
2024-03-10 13:49:00 +01:00
committed by dundargoc
parent 5da0d513b9
commit bf24298fea
4 changed files with 8 additions and 8 deletions

View File

@@ -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: