split fast dev test from the coverage gate run

`make test` is now the fast dev inner loop: no coverage, parallel
(--concurrency=12), ~21s warm (down from ~36s). Coverage moves to a new
`make test-coverage`, which push-check runs to feed coverage-gate. Drop the
separate test-a11y pass from push-check — the coverage run already executes
test/a11y. Both runs get --timeout 60s so a hung test fails fast instead of
wedging the runner ~10min and stalling the gate.

Measured: coverage is the floor (~36s) and concurrency-insensitive, so the
gate keeps coverage without --concurrency; only the no-coverage dev path
benefits from parallelism.

T-192.

Co-Authored-By: Claude <noreply@anthropic.com>
This commit is contained in:
2026-05-31 17:04:32 +02:00
co-authored by Claude
parent 3c9cc4cbae
commit 97c970223d
5 changed files with 50 additions and 9 deletions
+3 -2
View File
@@ -29,9 +29,10 @@ dependency for the governance + ticket workflow described below.
```
make run # launch the desktop app
make verify # no-tests sweep — analyze + format + decisions + changelog gate
make test # fast suite — analyze + format + unit + widget + golden
make test # fast dev loop — analyze + format + unit + widget + golden, NO coverage, parallel (~20s)
make test-coverage # same suite WITH coverage (writes coverage/lcov.info; used by the gate)
make test-a11y # WCAG-AA contrast + keyboard traversal contracts
make push-check # the pre-push gate; what CI runs
make push-check # the pre-push gate; what CI runs (runs test-coverage, not the no-coverage test)
make build-linux # release artefact for the host platform
```