Stream: git-wasmtime

Topic: wasmtime / issue #6486 fix downstream `cargo vendor` usag...

view this post on Zulip Wasmtime GitHub notifications bot (Jun 22 2023 at 19:44):

pchickey commented on issue #6486:

Sorry this stalled, I was on vacation and am digging myself out.

It looks like this diff is down to just using the wit-deps tool to make sure that the two copies of wit remain identical. Can we instead just use diff(1), invoked with the right paths via a new script in ./ci/, to perform that role?

view this post on Zulip Wasmtime GitHub notifications bot (Jul 19 2023 at 16:01):

rvolosatovs commented on issue #6486:

not relevant for our use case anymore, closing

Last updated: Nov 22 2024 at 16:03 UTC