From a54541f1d68f32cda25ae76bc8130f9d38c31bee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Carlos=20L=C3=B3pez?= Date: Wed, 15 Nov 2023 12:10:43 +0100 Subject: [PATCH] Update coverage_config_x86_64.json MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Carlos López --- coverage_config_x86_64.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coverage_config_x86_64.json b/coverage_config_x86_64.json index 35ba5915..3a0a64f5 100644 --- a/coverage_config_x86_64.json +++ b/coverage_config_x86_64.json @@ -1,5 +1,5 @@ { - "coverage_score": 89.60, + "coverage_score": 88.08, "exclude_path": "", "crate_features": "" }