.github: document concurrency rationale

This commit is contained in:
Sina Mahmoodi 2026-05-13 16:27:33 +00:00
parent 653b3b9355
commit c7b05edb8c

View file

@ -7,6 +7,7 @@ on:
- master - master
workflow_dispatch: workflow_dispatch:
# Free runner capacity by cancelling superseded PR runs.
concurrency: concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }} cancel-in-progress: ${{ github.event_name == 'pull_request' }}