Skip to content

Use php in coverage target#55

Merged
f3l1x merged 1 commit into
contributte:masterfrom
ohmyfelix:chore/coverage-use-php
Mar 18, 2026
Merged

Use php in coverage target#55
f3l1x merged 1 commit into
contributte:masterfrom
ohmyfelix:chore/coverage-use-php

Conversation

@ohmyfelix
Copy link
Copy Markdown
Contributor

What changed

  • replaced -p phpdbg with -p php in the coverage target for both CI and local runs

Why

Testing

  • ran make -n coverage

@f3l1x f3l1x merged commit 39ef6e0 into contributte:master Mar 18, 2026
16 of 20 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