diff options
| author | Christian Marangi <ansuelsmth@gmail.com> | 2023-01-11 13:52:38 +0100 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-01-11 14:31:57 +0100 |
| commit | cb679adf184d30261368707cd2b4f6cc7cf2a686 (patch) | |
| tree | 2dd99d6d9fc1362cef9355adf1ae54d994ef6e59 /.github/workflows/kernel.yml | |
| parent | dca1b92ecddb19ff5cb6309921cd1fd5573817a0 (diff) | |
CI: add concurrency limits for pr test
Add concurrency limits for pull request test so that on pull request
refresh old jobs are cancelled.
The group is created based on the github ref + workflow name and the
workflow is cancelled only it it comes from a pull_request event.
Push events are not affected by this limit.
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
Diffstat (limited to '.github/workflows/kernel.yml')
| -rw-r--r-- | .github/workflows/kernel.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/kernel.yml b/.github/workflows/kernel.yml index 6cff102091..bc39eb359c 100644 --- a/.github/workflows/kernel.yml +++ b/.github/workflows/kernel.yml @@ -21,6 +21,10 @@ on: permissions: contents: read +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: ${{ github.event_name == 'pull_request' }} + jobs: determine_targets: name: Set targets |