Stream: git-wasmtime

Topic: wasmtime / Issue #1784 [bugpoint] Few improvements


view this post on Zulip Wasmtime GitHub notifications bot (May 29 2020 at 03:38):

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

Subscribe to Label Action

cc @bnjbvr

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

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 (May 29 2020 at 08:09):

whitequark commented on Issue #1784:

Thank you for adding this!

view this post on Zulip Wasmtime GitHub notifications bot (May 29 2020 at 13:46):

teapotd commented on Issue #1784:

Can you keep this one. I think it can help prevent duplication in some cases.

Sure. I added also check if function still crashes after resolving them, just to be sure.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 01 2020 at 22:10):

teapotd edited a comment on Issue #1784:

Can you keep this one. I think it can help prevent duplication in some cases.

Sure. I added also check if function still crashes after resolving the aliases, just to be sure.

(edit: this is reply to a comment that got lost in old commit version)


Last updated: Nov 22 2024 at 16:03 UTC