fixup! Merge branch 'master' into ci/use-ninja-win

This commit is contained in:
Bruno Alexandre Rosa 2026-03-12 17:02:55 -03:00
parent 746f910c08
commit 8834924277

View file

@ -38,10 +38,13 @@ on:
- 'vcpkg.json'
- 'vcpkg'
# Cancel earlier, unfinished runs of this workflow on the same branch (unless on master)
# Ensure at most one run per ref: queue new runs when one is in progress.
# On master, cancel-in-progress is false so each push gets full CI (runs queue).
# On other refs (tags, PRs), cancel-in-progress is true to avoid redundant builds.
# Using github.ref ensures stable grouping (ref_name can be empty in some events).
concurrency:
group: "${{ github.workflow }} @ ${{ github.ref_name }}"
cancel-in-progress: ${{ github.ref_name != 'master' }}
group: "${{ github.workflow }} @ ${{ github.ref || github.run_id }}"
cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
jobs:
configure: