Stream: git-wasmtime

Topic: wasmtime / PR #5130 Update wasm-tools crates


view this post on Zulip Wasmtime GitHub notifications bot (Oct 26 2022 at 13:35):

alexcrichton opened PR #5130 from update-wasm-tools to main:

Mostly just a hygienic update, nothing major here

<!--

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 (Oct 26 2022 at 13:48):

alexcrichton updated PR #5130 from update-wasm-tools to main.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 26 2022 at 17:36):

alexcrichton updated PR #5130 from update-wasm-tools to main.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 26 2022 at 17:45):

peterhuene submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 26 2022 at 17:47):

alexcrichton has enabled auto merge for PR #5130.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 26 2022 at 18:29):

alexcrichton merged PR #5130.


Last updated: Dec 23 2024 at 12:05 UTC