Stream: git-wasmtime

Topic: wasmtime / PR #7537 [15.0.0] Backport more WIT-modifying PRs

Wasmtime GitHub notifications bot (Nov 14 2023 at 15:50):

alexcrichton requested pchickey for a review on PR #7537.

Wasmtime GitHub notifications bot (Nov 14 2023 at 15:50):

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

This time it's:

• https://github.com/bytecodealliance/wasmtime/pull/7527
• https://github.com/bytecodealliance/wasmtime/pull/7533

Wasmtime GitHub notifications bot (Nov 14 2023 at 15:50):

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

Wasmtime GitHub notifications bot (Nov 14 2023 at 18:37):

pchickey submitted PR review.

Wasmtime GitHub notifications bot (Nov 14 2023 at 18:46):

alexcrichton merged PR #7537.

Last updated: Dec 23 2024 at 12:05 UTC