Skip to content

Use php in coverage target#14

Merged
jiripudil merged 1 commit intocontributte:masterfrom
ohmyfelix:fix/coverage-target-php
Mar 18, 2026
Merged

Use php in coverage target#14
jiripudil merged 1 commit intocontributte:masterfrom
ohmyfelix:fix/coverage-target-php

Conversation

@ohmyfelix
Copy link
Contributor

Summary

  • replace phpdbg with php in the coverage target of Makefile
  • keep both GitHub Actions and local coverage commands aligned

Motivation

  • contributte/contributte#73 tracks removing phpdbg from Contributte coverage targets

Changes

  • update the CI coverage command to use -p php
  • update the local HTML coverage command to use -p php

Testing

  • Verified make -n coverage prints the php command
  • Full coverage run executed locally
  • CI passes

@codecov
Copy link

codecov bot commented Mar 18, 2026

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@jiripudil jiripudil merged commit 73b8419 into contributte:master Mar 18, 2026
10 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