Stream: git-wasmtime

Topic: wasmtime / PR #4665 cranelift: Remove legalized_to_pointe...

view this post on Zulip Wasmtime GitHub notifications bot (Aug 09 2022 at 20:12):

afonso360 opened PR #4665 from remove-legalized-to-ptr-from-fuzzgen to main:

The build is broken since we merged both #4589 and #4653 at once.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 09 2022 at 20:44):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 09 2022 at 20:44):

alexcrichton has enabled auto merge for PR #4665.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 09 2022 at 21:47):

alexcrichton merged PR #4665.

Last updated: Nov 22 2024 at 16:03 UTC