From cdecf93fbe40ded05095cfaf7cc059563668488b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maur=C3=ADcio=20Meneghini=20Fauth?= Date: Sat, 13 Jul 2024 11:50:53 -0300 Subject: [PATCH] Increase the Infection threshold MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Last metrics: - Mutation Score Indicator (MSI): 39% - Mutation Code Coverage: 59% - Covered Code MSI: 66% https://github.com/phpmyadmin/phpmyadmin/actions/runs/9915593037/job/27396690035#step:9:1314 Signed-off-by: MaurĂ­cio Meneghini Fauth --- infection.json5.dist | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/infection.json5.dist b/infection.json5.dist index 56c0128987..f45c373f39 100644 --- a/infection.json5.dist +++ b/infection.json5.dist @@ -13,6 +13,6 @@ "mutators": { "@default": true }, - "minMsi": 29, - "minCoveredMsi": 51 + "minMsi": 38, + "minCoveredMsi": 65 }