sneak
864fa34bed
check / check (push) Successful in 1m13s
Every push queues a run on the shared runner, and a branch pushed again left its older run queued for a head nobody needed. The workflow now puts each branch's runs in one concurrency group with cancel-in-progress, so a new push cancels that branch's older run, queued or running. The group is keyed on the branch, so pushes to other branches never cancel runs on `next` or `main`; a push to `next` itself does cancel the older `next` run. The checkout step no longer writes the token into `.git/config`; `script/cibuild` does not need it. Model: opus-5-5
18 lines
635 B
YAML
18 lines
635 B
YAML
name: check
|
|
on: [push]
|
|
# A new push to a branch cancels that branch's older run, queued or running;
|
|
# runs on other branches, `next` and `main` among them, are left alone.
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
cancel-in-progress: true
|
|
jobs:
|
|
check:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
# actions/checkout v4.2.2, 2026-02-28
|
|
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
|
|
# script/cibuild needs no token, so none is left in .git/config.
|
|
with:
|
|
persist-credentials: false
|
|
- run: script/cibuild
|