Skip to content

Remove phpdbg from coverage target#69

Merged
f3l1x merged 1 commit intocontributte:masterfrom
ohmyfelix:chore/remove-phpdbg-coverage
Mar 14, 2026
Merged

Remove phpdbg from coverage target#69
f3l1x merged 1 commit intocontributte:masterfrom
ohmyfelix:chore/remove-phpdbg-coverage

Conversation

@ohmyfelix
Copy link
Contributor

Summary

Replace phpdbg with plain php in the coverage Makefile target so this repository matches the org-wide coverage migration tracked in contributte/contributte#73.

Motivation

phpdbg is being removed from Contributte coverage targets. This keeps menu-control aligned with the new convention and avoids depending on the PHPDBG SAPI.

Changes

  • switch the GitHub Actions coverage command from -p phpdbg to -p php
  • switch the local coverage command from -p phpdbg to -p php

Testing

  • Tests pass locally
  • CI passes
  • Manual verification (if applicable)
  • make coverage currently fails in this environment because PHP CLI has neither Xdebug nor PCOV installed: Code coverage functionality requires Xdebug or PCOV extension or PHPDBG SAPI (used php)

@f3l1x f3l1x marked this pull request as ready for review March 14, 2026 11:09
@f3l1x f3l1x merged commit 4c7419e into contributte:master Mar 14, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants