Skip to content

Remove phpdbg from coverage target#1276

Merged
radimvaculik merged 1 commit intocontributte:masterfrom
ohmyfelix:chore/phpdbg-to-php-coverage
Mar 17, 2026
Merged

Remove phpdbg from coverage target#1276
radimvaculik merged 1 commit intocontributte:masterfrom
ohmyfelix:chore/phpdbg-to-php-coverage

Commits

Commits on Mar 11, 2026