From 84322b1c28b0d16c30fc5dea195c7bdcc9372be7 Mon Sep 17 00:00:00 2001 From: Oh My Felix Date: Sat, 14 Mar 2026 19:22:26 +0000 Subject: [PATCH] Makefile: use php in coverage target Replace phpdbg with php in the coverage target to match the org-wide coverage migration tracked in contributte/contributte#73. --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 33bc117..750fec1 100644 --- a/Makefile +++ b/Makefile @@ -28,7 +28,7 @@ tests: .PHONY: coverage coverage: ifdef GITHUB_ACTION - vendor/bin/tester -s -p phpdbg --colors 1 -C --coverage coverage.xml --coverage-src src tests/Cases + vendor/bin/tester -s -p php --colors 1 -C --coverage coverage.xml --coverage-src src tests/Cases else - vendor/bin/tester -s -p phpdbg --colors 1 -C --coverage coverage.html --coverage-src src tests/Cases + vendor/bin/tester -s -p php --colors 1 -C --coverage coverage.html --coverage-src src tests/Cases endif