Stream: git-wasmtime

Topic: wasmtime / PR #5228 Cranelift: Use a custom enum instead ...


view this post on Zulip Wasmtime GitHub notifications bot (Nov 08 2022 at 20:23):

fitzgen requested cfallin for a review on PR #5228.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 08 2022 at 20:23):

fitzgen opened PR #5228 from meta-is-lower-cleanup to main:

Easier to read and doesn't require /* is_lower = */-style comments at call sites.

<!--

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 (Nov 08 2022 at 20:51):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 08 2022 at 21:02):

fitzgen has enabled auto merge for PR #5228.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 08 2022 at 21:44):

fitzgen merged PR #5228.


Last updated: Dec 23 2024 at 13:07 UTC