Stream: git-wasmtime

Topic: wasmtime / PR #5983 Update `wasmprinter` and `wasm-mutate...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2023 at 19:56):

fitzgen opened PR #5983 from update-wasm-tools to main:

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2023 at 19:56):

fitzgen requested alexcrichton for a review on PR #5983.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2023 at 19:58):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2023 at 19:58):

alexcrichton has enabled auto merge for PR #5983.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2023 at 20:55):

alexcrichton merged PR #5983.


Last updated: Dec 23 2024 at 13:07 UTC