Stream: git-wasmtime

Topic: wasmtime / PR #7570 wasi-sockets: integration test & inte...


view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 12:03):

badeend requested alexcrichton for a review on PR #7570.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 12:03):

badeend requested wasmtime-core-reviewers for a review on PR #7570.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 12:03):

badeend opened PR #7570 from badeend:socket-improvements to bytecodealliance:main:

view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 12:07):

badeend edited PR #7570:

view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 16:29):

alexcrichton submitted PR review:

Thank you for this!

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2023 at 19:17):

alexcrichton commented on PR #7570:

I thought that failure might be related to this PR but the same failure on another PR just cropped up so I'm going to retry this and see if it's a spurious failure.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2023 at 19:46):

alexcrichton merged PR #7570.


Last updated: Nov 22 2024 at 16:03 UTC