From a5d2eaf5343bcd7b04b83ed496ff8e35389b5ab2 Mon Sep 17 00:00:00 2001 From: azjezz Date: Mon, 10 Oct 2022 19:05:08 +0100 Subject: [PATCH] chore: fix infection configurations Signed-off-by: azjezz --- config/infection.json.dist | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config/infection.json.dist b/config/infection.json.dist index f90b4070..bc6796ec 100644 --- a/config/infection.json.dist +++ b/config/infection.json.dist @@ -16,8 +16,8 @@ "logs": { "text": "php://stderr", "github": true, - "badge": { - "branch": "/^\\d+\\.\\d+\\.x$/" + "stryker": { + "report": "/^\\d+\\.\\d+\\.x$/" } }, "timeout": 10,