Stream: git-wasmtime

Topic: wasmtime / PR #8083 Enable specifying namespaces/packages...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2024 at 04:11):

alexcrichton opened PR #8083 from alexcrichton:bindgen-with to bytecodealliance:main:

This commit implements bytecodealliance/wit-bindgen#840 for Wasmtime. Currently with keys to bindgen only support either mapping resources or interfaces. Now they additionally support mapping entire packages or entire namespaces. This can help clean up some references to interfaces through our own bindings to avoid listing all of them.

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2024 at 04:11):

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

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2024 at 04:11):

alexcrichton requested fitzgen for a review on PR #8083.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2024 at 05:44):

github-actions[bot] commented on PR #8083:

Subscribe to Label Action

cc @peterhuene

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

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 (Mar 12 2024 at 11:07):

fitzgen requested elliottt for a review on PR #8083.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2024 at 16:51):

elliottt submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2024 at 16:51):

elliottt submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2024 at 16:51):

elliottt created PR review comment:

This is so much nicer!

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2024 at 17:46):

alexcrichton merged PR #8083.


Last updated: Nov 22 2024 at 17:03 UTC