Stream: git-wasmtime

Topic: wasmtime / PR #5104 Update `wasmi` used in differential f...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 24 2022 at 01:57):

alexcrichton opened PR #5104 from update-wasmi to main:

Closes #4818
Closes #5102

<!--

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 24 2022 at 13:30):

abrown submitted PR review.

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

alexcrichton updated PR #5104 from update-wasmi to main.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 24 2022 at 15:22):

alexcrichton has enabled auto merge for PR #5104.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 24 2022 at 16:41):

alexcrichton merged PR #5104.


Last updated: Dec 23 2024 at 13:07 UTC