Stream: git-wasmtime

Topic: wasmtime / Issue #1415 Refactor and fill out wasmtime's C...

view this post on Zulip Wasmtime GitHub notifications bot (Mar 26 2020 at 22:58):

github-actions[bot] commented on Issue #1415:

Subscribe to Label Action

This issue or pull request has been labeled: "wasmtime:api", "wasmtime:c-api"

<details> <summary>Users Subscribed to "wasmtime:api"</summary>

</details>
<details> <summary>Users Subscribed to "wasmtime:c-api"</summary>

</details>

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

Learn more.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 27 2020 at 14:08):

alexcrichton commented on Issue #1415:

Thanks for the quick review @peterhuene! I've updated with all your comments and will merge once CI is green.

Last updated: Nov 22 2024 at 16:03 UTC