Commit 0c21fdd
committed
docs: point the PR checklist at the gate the workflow documents
The checklist asked for `composer ci`, which is not the pre-push gate.
`ci` runs cgl, phpstan, unit, integration and fuzzy; `make gate` runs
cgl, phpstan, unit, fuzzy, rector pinned to PHP 8.2 and functional
against sqlite, plus the CHANGELOG check. Rector and the functional
suite are exactly the two the Makefile comment names as the ones that
get skipped by hand and are then found by the CI matrix a push later.
So the box a contributor ticked certified a narrower set than the
workflow in AGENTS.md prescribes, and the difference was invisible at
the point of ticking it. Both targets stay — they answer different
questions — but the checklist now names the one that gates a push.
Assisted-by: claude-code:claude-opus-5
Agent-Session: https://claude.ai/code/session_015QXXkquh2eQNBiTYA39Wss host=32116e
Signed-off-by: Sebastian Mendel <github@sebastianmendel.de>1 parent 6fe501d commit 0c21fdd
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
17 | 17 | | |
18 | 18 | | |
19 | 19 | | |
20 | | - | |
| 20 | + | |
21 | 21 | | |
22 | 22 | | |
23 | 23 | | |
| |||
0 commit comments