Merge branch 'main' into miri-ready

roypat · web-flow · commit 46e8e41bd29e · 2023-05-22T09:43:22.000Z
diff --git a/coverage_config_x86_64.json b/coverage_config_x86_64.json
@@ -1,5 +1,5 @@
 {
-  "coverage_score": 88.9,
+  "coverage_score": 89.7,
   "exclude_path": "mmap_windows.rs",
   "crate_features": "backend-mmap,backend-atomic,backend-bitmap"
 }
diff --git a/rust-vmm-ci b/rust-vmm-ci
@@ -1 +1 @@
-Subproject commit 8627b3766b2bedde4657c7e9ddfc6f95a20e6942
+Subproject commit 0beb66692d86d59aa77386404036d9796ff93da5

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "coverage_score": 88.9,`
	`2`	`+ "coverage_score": 89.7,`
`3`	`3`	`"exclude_path": "mmap_windows.rs",`
`4`	`4`	`"crate_features": "backend-mmap,backend-atomic,backend-bitmap"`
`5`	`5`	`}`