Wasmtime GitHub notifications bot (Oct 14 2022 at 01:57): Wasmtime GitHub notifications bot (Oct 14 2022 at 01:57):github-actions[bot] commented on issue #5055:
Subscribe to Label Action
cc @peterhuene
<details>
This issue or pull request has been labeled: "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 (Oct 17 2022 at 15:12):alexcrichton commented on issue #5055:
I've double-checked bits and pieces internally and I think this should generally be good to go. I'm always somewhat wary of async since it's got unsafe underpinnings with fibers and whatnot but I'm at least for now confident enough in this that I'd be happy to merge.
Wasmtime GitHub notifications bot (Oct 17 2022 at 16:35):pchickey commented on issue #5055:
Thanks! I just need to write some tests.
Wasmtime GitHub notifications bot (Oct 18 2022 at 00:44):github-actions[bot] commented on issue #5055:
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>
Last updated: Nov 22 2024 at 17:03 UTC