Wasmtime GitHub notifications bot (Apr 27 2023 at 23:44): Wasmtime GitHub notifications bot (Apr 27 2023 at 23:44):github-actions[bot] commented on issue #6302:
Subscribe to Label Action
cc @peterhuene
<details>
This issue or pull request has been labeled: "cranelift", "cranelift:area:aarch64", "cranelift:area:x64", "cranelift:module", "wasmtime:api"Thus the following users have been cc'd because of the following labels:
- peterhuene: wasmtime:api
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Wasmtime GitHub notifications bot (Apr 28 2023 at 01:04):github-actions[bot] commented on issue #6302:
Subscribe to Label Action
cc @saulecabrera
<details>
This issue or pull request has been labeled: "winch"Thus the following users have been cc'd because of the following labels:
- saulecabrera: winch
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Wasmtime GitHub notifications bot (Apr 28 2023 at 15:07):alexcrichton commented on issue #6302:
Sounds reasonable to me! Did a bit of extra refactoring but the two most recent commits I think achieve those goals.
Last updated: Nov 22 2024 at 16:03 UTC