CI: concurrency group, no cancel on dispatch #4

Merged
libby merged 2 commits from libby/ci-concurrency into main 2026-11-10 17:40:15 +00:00

View file

@ -8,6 +8,11 @@ on:
pull_request:
workflow_dispatch:
concurrency:
# A newer push or PR update replaces the older run on the same ref; workflow_dispatch runs are never cancelled.
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ github.event_name != 'workflow_dispatch' }}
jobs:
contracts-and-browser:
name: ${{ matrix.os }} ${{ matrix.package }}