Merge branch 'main' into fix-3037

This commit is contained in:
jiangbo212
2022-11-30 09:38:01 +08:00
173 changed files with 5109 additions and 1714 deletions

View File

@ -12,7 +12,7 @@ either = { version = "1.6.1", features = ["serde"] }
enum-iterator = "1.1.3"
flate2 = "1.0.24"
fst = "0.4.7"
milli = { git = "https://github.com/meilisearch/milli.git", version = "0.35.0", default-features = false }
milli = { git = "https://github.com/meilisearch/milli.git", tag = "v0.37.0", default-features = false }
proptest = { version = "1.0.0", optional = true }
proptest-derive = { version = "0.3.0", optional = true }
roaring = { version = "0.10.0", features = ["serde"] }