Stream: git-wasmtime

Topic: wasmtime / Issue #1013 Modernize implementation of interf...


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

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

Subscribe to Label Action

This issue or pull request has been labeled: "f", "u", "z", "i", "n", "g"

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 12 2020 at 17:17):

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

Subscribe to Label Action

This issue or pull request has been labeled: "f", "u", "z", "i", "n", "g"

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 12 2020 at 18:14):

fitzgen deleted a comment on Issue #1013:

Subscribe to Label Action

This issue or pull request has been labeled: "f", "u", "z", "i", "n", "g"

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 12 2020 at 18:14):

fitzgen deleted a comment on Issue #1013:

Subscribe to Label Action

This issue or pull request has been labeled: "f", "u", "z", "i", "n", "g"

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 12 2020 at 21:31):

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

Subscribe to Label Action

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

<details> <summary>Users Subscribed to "fuzzing"</summary>

</details>
<details> <summary>Users Subscribed to "wasmtime: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 (Aug 05 2020 at 15:02):

alexcrichton commented on Issue #1013:

I'm gonna go ahead and close this since this is unlikely to be how interface types looks in the future. Especially with the upcoming rebase on module linking interface types is going to look quite different than what is in this PR.


Last updated: Dec 23 2024 at 12:05 UTC