diff --git a/coverage_config.json b/coverage_config.json deleted file mode 100644 index 4f21e4e..0000000 --- a/coverage_config.json +++ /dev/null @@ -1 +0,0 @@ -{"coverage_score": 93.2, "exclude_path": "", "crate_features": ""} diff --git a/coverage_config_aarch64.json b/coverage_config_aarch64.json new file mode 100644 index 0000000..750586a --- /dev/null +++ b/coverage_config_aarch64.json @@ -0,0 +1 @@ +{"coverage_score": 92.5, "exclude_path": "", "crate_features": ""} diff --git a/coverage_config_x86_64.json b/coverage_config_x86_64.json new file mode 100644 index 0000000..750586a --- /dev/null +++ b/coverage_config_x86_64.json @@ -0,0 +1 @@ +{"coverage_score": 92.5, "exclude_path": "", "crate_features": ""}