Stream: git-wasmtime

Topic: wasmtime / PR #7493 [15.0.0] Backports of recent PRs

Wasmtime GitHub notifications bot (Nov 07 2023 at 14:22):

alexcrichton requested pchickey for a review on PR #7493.

Wasmtime GitHub notifications bot (Nov 07 2023 at 14:22):

alexcrichton requested wasmtime-default-reviewers for a review on PR #7493.

Wasmtime GitHub notifications bot (Nov 07 2023 at 14:22):

alexcrichton requested wasmtime-core-reviewers for a review on PR #7493.

Wasmtime GitHub notifications bot (Nov 07 2023 at 14:22):

alexcrichton opened PR #7493 from alexcrichton:backports to bytecodealliance:release-15.0.0:

This is a backport of a few PRs recently:

• https://github.com/bytecodealliance/wasmtime/pull/7488 - get new defaults for semicolons/WIT format out sooner
• https://github.com/bytecodealliance/wasmtime/pull/7423 - tweaks to tcp/udp errors as well as making the next PR cherry-pick-able
• https://github.com/bytecodealliance/wasmtime/pull/7483 - modified wasi:sockets WITs
• https://github.com/bytecodealliance/wasmtime/pull/7487 - release notes

Wasmtime GitHub notifications bot (Nov 07 2023 at 16:48):

pchickey submitted PR review.

Wasmtime GitHub notifications bot (Nov 07 2023 at 18:28):

alexcrichton merged PR #7493.

Last updated: Nov 22 2024 at 17:03 UTC