mirror of
https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git
synced 2024-11-28 22:41:02 +00:00
deny: Ignore duplicated wasi dependency
This commit is contained in:
parent
6cf7d28481
commit
22585a0383
1 changed files with 5 additions and 0 deletions
|
@ -132,6 +132,11 @@ version = "0.9"
|
||||||
name = "miniz_oxide"
|
name = "miniz_oxide"
|
||||||
version = "0.4"
|
version = "0.4"
|
||||||
|
|
||||||
|
# ignore duplicated wasi dependency because various crates depends on an old version
|
||||||
|
[[bans.skip]]
|
||||||
|
name = "wasi"
|
||||||
|
version = "0.10"
|
||||||
|
|
||||||
[sources]
|
[sources]
|
||||||
unknown-registry = "deny"
|
unknown-registry = "deny"
|
||||||
unknown-git = "deny"
|
unknown-git = "deny"
|
||||||
|
|
Loading…
Reference in a new issue