Skip to content

Fix coverage target to use php#102

Merged
trejjam merged 1 commit into
contributte:masterfrom
ohmyfelix:fix/php-coverage-target
Mar 18, 2026
Merged

Fix coverage target to use php#102
trejjam merged 1 commit into
contributte:masterfrom
ohmyfelix:fix/php-coverage-target

Conversation

@ohmyfelix
Copy link
Copy Markdown
Contributor

Summary

  • replace -p phpdbg with -p php in the coverage target
  • keep both GitHub Actions and local coverage invocations aligned

Motivation

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

Changes

  • update the CI coverage command to run Tester with php
  • update the local coverage command to run Tester with php

Testing

  • make -n coverage
  • Full coverage run

@codecov
Copy link
Copy Markdown

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 ☂️

@trejjam trejjam merged commit b2f4736 into contributte:master Mar 18, 2026
9 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