Stream: git-wasmtime

Topic: wasmtime / PR #6858 Call verifier after egraph pass

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 08:52):

gurry opened PR #6858 from gurry:issue-6855 to bytecodealliance:main:

Fixes #6855

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 08:53):

gurry requested wasmtime-compiler-reviewers for a review on PR #6858.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 08:53):

gurry requested fitzgen for a review on PR #6858.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 09:15):

afonso360 submitted PR review:

This looks pretty much like what I expected. Thanks!

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 09:15):

afonso360 has enabled auto merge for PR #6858.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 09:56):

afonso360 merged PR #6858.

Last updated: Dec 23 2024 at 13:07 UTC