Stream: git-wasmtime

Topic: wasmtime / PR #2664 Disable wasmtime default-features in ...


view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 15:52):

maxded opened PR #2664 from disable-wasmtime-default-features-wasi to main:

Disabling wasmtime's default features in the wasi crate has been removed in the transition from 0.22.0 to 0.23.0. This brings in a whole lot of unnecessary features and dependencies that the wasi crate doesn't need.

Not sure if there was a specific reason for the removal or just a small accident. Anyways, here is a small change to disable wasmtime's default features again. :)

view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 15:54):

alexcrichton submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 18 2021 at 17:29):

alexcrichton merged PR #2664.


Last updated: Dec 23 2024 at 12:05 UTC