Stream: git-wasmtime

Topic: wasmtime / issue #5019 feat: provide default methods for ...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 05 2022 at 12:25):

github-actions[bot] commented on issue #5019:

Subscribe to Label Action

cc @kubkon

<details>
This issue or pull request has been labeled: "wasi"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Oct 05 2022 at 14:36):

sunfishcode commented on issue #5019:

To be sure, the vision for this code is that users will primarily write APis in wit, rather than encoding non-directory-like APIs within WasiDir. WasiDir may eventually be removed from the public API entirely.

That said, I recognize that wit isn't ready to take on all use cases yet, so this makes sense for now.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 05 2022 at 16:14):

npmccallum commented on issue #5019:

@sunfishcode I think you meant to merge this but just enabled auto-merge instead. :)


Last updated: Dec 23 2024 at 12:05 UTC