Update coverage_config_x86_64.json

Signed-off-by: Carlos López <[email protected]>
00xc · Nov 16, 2023 · dd20c85 · dd20c85
1 parent b16c612
commit dd20c85
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coverage_config_x86_64.json b/coverage_config_x86_64.json
@@ -1,5 +1,5 @@
 {
-  "coverage_score": 86.11,
+  "coverage_score": 85.16,
   "exclude_path": "",
   "crate_features": ""
 }