Stream: git-wasmtime

Topic: wasmtime / issue #14028 wasi-http: Consider renaming Work...

view this post on Zulip Wasmtime GitHub notifications bot (Jul 30 2026 at 17:54):

lann opened issue #14028:

The value is just a passthrough for the embedder's internal use; unless there is a plan to use it for something ID-shaped it could be renamed to RequestCtx, RequestData, etc.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 30 2026 at 17:55):

lann commented on issue #14028:

@dicej @alexcrichton not sure which of you actually added this.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 30 2026 at 19:50):

alexcrichton commented on issue #14028:

RequestData sounds reasonable to me yeah :+1:

view this post on Zulip Wasmtime GitHub notifications bot (Jul 30 2026 at 19:50):

alexcrichton added the wasi-http label to Issue #14028.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 31 2026 at 14:16):

rvolosatovs closed issue #14028:

The value is just a passthrough for the embedder's internal use; unless there is a plan to use it for something ID-shaped it could be renamed to RequestCtx, RequestData, etc.

Last updated: Aug 30 2026 at 09:07 UTC