Wasmtime GitHub notifications bot (Jun 25 2023 at 21:44): Wasmtime GitHub notifications bot (Jun 25 2023 at 21:44):github-actions[bot] commented on issue #6641:
Subscribe to Label Action
cc @cfallin, @fitzgen
<details>
This issue or pull request has been labeled: "cranelift", "cranelift:area:aarch64", "cranelift:area:machinst", "cranelift:area:x64", "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 (Jun 26 2023 at 17:52):fitzgen commented on issue #6641:
Nice! The last commit LGTM, thanks for putting this up. Going to look into the issues you found now.
Wasmtime GitHub notifications bot (Jun 27 2023 at 19:44):github-actions[bot] commented on issue #6641:
Subscribe to Label Action
cc @fitzgen
<details>
This issue or pull request has been labeled: "fuzzing"Thus the following users have been cc'd because of the following labels:
- fitzgen: fuzzing
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 (Jun 27 2023 at 22:20):afonso360 commented on issue #6641:
Fuzzed for around 2 hours with fuzzgen and it all seems stable! :partying_face:
Wasmtime GitHub notifications bot (Jun 29 2023 at 15:00):afonso360 commented on issue #6641:
@fitzgen would you be able to look into this again? It should be ready now. I've just rebased the latest commit onto the main branch.
Last updated: Oct 23 2024 at 20:03 UTC