Stream: git-wasmtime

Topic: wasmtime / PR #1346 Build wasmtime-c-api differenty in ru...

Wasmtime GitHub notifications bot (Mar 17 2020 at 19:11):

alexcrichton opened PR #1346 from build-c-api-differently to master:

This tweaks how the wasmtime-c-api crate is built slightly, changing how
we invoke Cargo. Due to historical Cargo bugs this should help minimize
the number of rebuilds due to features since the feature selection will
be different.

Wasmtime GitHub notifications bot (Mar 17 2020 at 19:21):

alexcrichton updated PR #1346 from build-c-api-differently to master:

This tweaks how the wasmtime-c-api crate is built slightly, changing how
we invoke Cargo. Due to historical Cargo bugs this should help minimize
the number of rebuilds due to features since the feature selection will
be different.

Wasmtime GitHub notifications bot (Mar 17 2020 at 19:24):

alexcrichton updated PR #1346 from build-c-api-differently to master:

This tweaks how the wasmtime-c-api crate is built slightly, changing how
we invoke Cargo. Due to historical Cargo bugs this should help minimize
the number of rebuilds due to features since the feature selection will
be different.

Wasmtime GitHub notifications bot (Mar 17 2020 at 19:24):

alexcrichton updated PR #1346 from build-c-api-differently to master:

This tweaks how the wasmtime-c-api crate is built slightly, changing how
we invoke Cargo. Due to historical Cargo bugs this should help minimize
the number of rebuilds due to features since the feature selection will
be different.

Wasmtime GitHub notifications bot (Mar 17 2020 at 19:27):

sunfishcode submitted PR Review.

Wasmtime GitHub notifications bot (Mar 17 2020 at 20:08):

alexcrichton merged PR #1346.

Last updated: Dec 23 2024 at 12:05 UTC