Stream: git-wasmtime

Topic: wasmtime / issue #7171 wasi: Add version numbers to all W...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 06 2023 at 15:26):

alexcrichton opened issue #7171:

This should be done, or decided not to be done, before finalizing preview2.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 06 2023 at 15:26):

alexcrichton assigned issue #7171 to alexcrichton.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 17 2023 at 18:33):

pchickey commented on issue #7171:

We plan to put a version tag on all wasi wits prior to the wasmtime 15 release cut.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 18 2023 at 22:34):

alexcrichton closed issue #7171:

This should be done, or decided not to be done, before finalizing preview2.


Last updated: Dec 23 2024 at 12:05 UTC