Stream: git-wasmtime

Topic: wasmtime / PR #5988 Fix some minor issues with the `explo...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2023 at 02:11):

alexcrichton opened PR #5988 from explorer to main:

This commit fixes a few minor issues that Nick and I ran into walking through some code with the wasmtime explore command:

<!--

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 11 2023 at 02:11):

alexcrichton requested fitzgen for a review on PR #5988.

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

fitzgen submitted PR review.

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

fitzgen has enabled auto merge for PR #5988.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 11 2023 at 03:06):

fitzgen merged PR #5988.


Last updated: Nov 22 2024 at 17:03 UTC