Stream: git-wasmtime

Topic: wasmtime / issue #7022 Wasmtime: use resources for WASI

view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2023 at 21:59):

pchickey opened issue #7022.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2023 at 21:59):

pchickey assigned issue #7022 to alexcrichton.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 13 2023 at 02:44):

pchickey added the wasi:impl label to Issue #7022.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 13 2023 at 02:45):

pchickey removed the wasi:impl label from Issue #7022.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 13 2023 at 02:45):

pchickey added the wasi:api label to Issue #7022.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 13 2023 at 02:53):

pchickey removed the wasi:api label from Issue #7022.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 13 2023 at 02:53):

pchickey added the wasi:impl label to Issue #7022.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 13 2023 at 16:31):

alexcrichton assigned issue #7022 to sunfishcode.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 29 2023 at 20:09):

alexcrichton commented on issue #7022:

Done in https://github.com/bytecodealliance/wasmtime/pull/7029. Not done exhaustively for all proposals yet, but that's tracked in https://github.com/bytecodealliance/wasmtime/issues/7021.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 29 2023 at 20:09):

alexcrichton closed issue #7022.

Last updated: Nov 22 2024 at 17:03 UTC