docs(dev-env): a PHP coverage driver is a prerequisite, not an optional extra - #747

Merged

rubenvdlinde merged 3 commits into

mainfrom

docs/coverage-driver-prerequisite

Sep 14, 2026

Commits on Sep 10, 2026

docs(dev-env): a PHP coverage driver is a prerequisite, not an optional extra
Conduction Release Bot
committed
f3cd98e

Commits on Sep 14, 2026

Merge remote-tracking branch 'origin/main' into docs/coverage-driver-prerequisite
rubenvdlinde
committed
0031a2f
docs(dev-env): drop the em-dash from the coverage driver note
rubenvdlinde
committed
c0b89a8