Stream: git-wasmtime

Topic: wasmtime / PR #7512 wasi-sockets: Add & refine socket opt...


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

badeend opened PR #7512 from badeend:more-sockopts to bytecodealliance:main:

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

badeend requested pchickey for a review on PR #7512.

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

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

view this post on Zulip Wasmtime GitHub notifications bot (Nov 09 2023 at 14:55):

alexcrichton submitted PR review:

Thanks! I think there may be a macOS-only failure to take a look at on CI though

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

badeend updated PR #7512.

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

alexcrichton has enabled auto merge for PR #7512.

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

alexcrichton merged PR #7512.


Last updated: Nov 22 2024 at 17:03 UTC