Skip to content

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
Merged

rubenvdlinde merged 3 commits into
mainfrom
docs/coverage-driver-prerequisite

docs(dev-env): drop the em-dash from the coverage driver note

c0b89a8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar