Move embedder stats out of progress

2025-07-27 08:41:00 +00:00 · 2025-06-23 15:24:14 +02:00
parent 4cadc8113b
commit 4925b30196
30 changed files with 255 additions and 69 deletions
--- a/crates/fuzzers/src/bin/fuzz-indexing.rs
+++ b/crates/fuzzers/src/bin/fuzz-indexing.rs
@ -144,6 +144,7 @@ fn main() {
                                embedders,
                                &|| false,
                                &Progress::default(),
+                                Default::default(),
                            )
                            .unwrap();