Stream: git-wasmtime

Topic: wasmtime / PR #4524 Bump wat/wast crates


view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2022 at 19:41):

alexcrichton opened PR #4524 from bump-wast to main:

Pull in upstream updates, nothing major, just keeping up-to-date.

<!--

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 (Jul 25 2022 at 19:59):

peterhuene submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2022 at 20:15):

alexcrichton has enabled auto merge for PR #4524.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2022 at 20:40):

alexcrichton has disabled auto merge for PR #4524.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2022 at 20:45):

alexcrichton updated PR #4524 from bump-wast to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2022 at 20:48):

peterhuene submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2022 at 20:50):

alexcrichton has enabled auto merge for PR #4524.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2022 at 21:29):

alexcrichton merged PR #4524.


Last updated: Dec 23 2024 at 13:07 UTC