Wasmtime GitHub notifications bot (Aug 18 2020 at 23:30): Wasmtime GitHub notifications bot (Aug 18 2020 at 23:30):github-actions[bot] commented on Issue #2142:
Subscribe to Label Action
cc @bnjbvr
<details>
This issue or pull request has been labeled: "cranelift", "cranelift:area:aarch64", "cranelift:area:machinst", "cranelift:area:x64"Thus the following users have been cc'd because of the following labels:
- bnjbvr: cranelift
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 (Aug 20 2020 at 22:35):cfallin commented on Issue #2142:
Updated -- thanks! This has been verified to work with SpiderMonkey as well.
Wasmtime GitHub notifications bot (Aug 21 2020 at 14:48):bnjbvr commented on Issue #2142:
(I'm happy to give it a look on another day, unless Julian beats me to it; I really need to read the rest of the refactoring anyways :-))
Last updated: Nov 22 2024 at 17:03 UTC