Rename benches/bench.rs to benches/criterion.rs

qsantos · Oct 18, 2024 · bdd61c5 · bdd61c5
1 parent 6a01e8b
commit bdd61c5
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -15,7 +15,7 @@ criterion = { version = "0.5.1", features = ["html_reports"] }
 rand = "0.8.5"
 
 [[bench]]
-name = "bench"
+name = "criterion"
 harness = false
 
 [profile.profiling]

diff --git a/benches/bench.rs → benches/criterion.rs b/benches/bench.rs → benches/criterion.rs