From d400b1b0e8bb657d3689af4eca7325090172eb1d Mon Sep 17 00:00:00 2001 From: OhMyFelix Date: Sat, 28 Mar 2026 21:44:00 +0000 Subject: [PATCH] chore: use php instead of phpdbg for coverage --- 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