From 8168896fe5ffc347f4b46023793d55422beca3b7 Mon Sep 17 00:00:00 2001 From: Filippo Tessarotto Date: Mon, 13 Feb 2023 08:44:31 +0100 Subject: [PATCH] Infection: raise timeout for mutants from 10 to 60 seconds --- infection.json.dist | 1 + 1 file changed, 1 insertion(+) diff --git a/infection.json.dist b/infection.json.dist index e72003964..38dfee04d 100644 --- a/infection.json.dist +++ b/infection.json.dist @@ -4,6 +4,7 @@ "src" ] }, + "timeout": 60, "logs": { "text": "php:\/\/stderr", "stryker": {