sneak
c157cfc471
check / check (push) Waiting to run
The workflow's script/docker-smoke step is removed, so the workflow checks out the repo and runs script/cibuild and nothing else, as the canonical REPO_POLICIES.md says. The owner ruled on the issue that make check covers what needs covering. CI no longer starts the image and waits for its healthcheck. script/docker-smoke and make docker-smoke stay, to run by hand, and the script's header comment no longer says the workflow runs it. The dated TODO.md entries that say the workflow runs it are history and stay as written. Model: opus-5-5
21 lines
759 B
YAML
21 lines
759 B
YAML
name: check
|
|
on: [push]
|
|
# Free the shared runner: a new push cancels only the same branch's older run.
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
cancel-in-progress: true
|
|
jobs:
|
|
check:
|
|
runs-on: ubuntu-latest
|
|
# Free the shared runner from a hung build.
|
|
timeout-minutes: 20
|
|
steps:
|
|
# actions/checkout v4.2.2, 2026-02-22
|
|
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
|
|
# script/cibuild needs no token, so none is left in .git/config.
|
|
with:
|
|
persist-credentials: false
|
|
# All history and tags, so git describe finds the version tag.
|
|
fetch-depth: 0
|
|
- run: script/cibuild
|