From e4f291d6dc5cad5f15f01c2a23b9cab5d7504e5f Mon Sep 17 00:00:00 2001 From: Patrick Roy Date: Wed, 13 Nov 2024 07:30:56 +0000 Subject: [PATCH] chore: update coverage Signed-off-by: Patrick Roy --- 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 9647dc46..c55dbb37 100644 --- a/coverage_config_x86_64.json +++ b/coverage_config_x86_64.json @@ -1,5 +1,5 @@ { - "coverage_score": 91.41, + "coverage_score": 92.92, "exclude_path": "mmap_windows.rs", "crate_features": "backend-mmap,backend-atomic,backend-bitmap" }