ci: cancel old github action runs (#1172)

* ci: cancel old github action runs

Signed-off-by: rare-magma <rare-magma@posteo.eu>

* ci: adjust concurrency to avoid canceling non-PR workflows

---------

Signed-off-by: rare-magma <rare-magma@posteo.eu>
Co-authored-by: leejet <leejet714@gmail.com>
This commit is contained in:
Nuno 2026-01-05 16:52:34 +01:00 committed by GitHub
parent 496ec9421e
commit fdcacc1ebb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -38,6 +38,10 @@ on:
env:
BRANCH_NAME: ${{ github.head_ref || github.ref_name }}
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref && github.ref || github.run_id }}
cancel-in-progress: true
jobs:
ubuntu-latest-cmake:
runs-on: ubuntu-latest