Wasmtime GitHub notifications bot (May 25 2023 at 18:44): Wasmtime GitHub notifications bot (May 25 2023 at 18:44):github-actions[bot] commented on issue #6459:
Subscribe to Label Action
cc @cfallin, @fitzgen
<details>
This issue or pull request has been labeled: "cranelift", "isle"Thus the following users have been cc'd because of the following labels:
- cfallin: isle
- fitzgen: isle
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 (May 25 2023 at 20:20):afonso360 commented on issue #6459:
Can we leave this open overnight to let the fuzzer have some time to explore this? I'm not totally confident that the existing tests explore all of this. (i.e. see the latest commit about
gen_select_reg)
Wasmtime GitHub notifications bot (May 26 2023 at 14:25):afonso360 commented on issue #6459:
Fuzzing hasn't caught anything else, so I think this is probably ok to merge.
Last updated: Dec 23 2024 at 13:07 UTC