Stream: git-wasmtime

Topic: wasmtime / issue #4481 Add a cranelift flag to enable/dis...

view this post on Zulip Wasmtime GitHub notifications bot (Jul 20 2022 at 17:27):

cfallin commented on issue #4481:

This sounds reasonable to me!

view this post on Zulip Wasmtime GitHub notifications bot (Jul 20 2022 at 19:03):

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

Subscribe to Label Action

cc @peterhuene

<details>
This issue or pull request has been labeled: "cranelift", "cranelift:area:machinst", "cranelift:meta", "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 (Jul 20 2022 at 21:46):

alexcrichton commented on issue #4481:

Apologies for the CI breakage, but things should be fixed with a rebase.

Last updated: Nov 22 2024 at 16:03 UTC