diff --git a/coverage_config.json b/coverage_config.json deleted file mode 100644 index 6637851..0000000 --- a/coverage_config.json +++ /dev/null @@ -1,5 +0,0 @@ -{ - "coverage_score": 90, - "exclude_path": "", - "crate_features": "" -} diff --git a/rust-vmm-ci b/rust-vmm-ci index d2ab3c0..8901e77 160000 --- a/rust-vmm-ci +++ b/rust-vmm-ci @@ -1 +1 @@ -Subproject commit d2ab3c090833aec72eee7da1e3884032206b00e3 +Subproject commit 8901e7752288ae1061e2ee888a104c083a451668