Wasmtime GitHub notifications bot (Nov 07 2022 at 23:36): Wasmtime GitHub notifications bot (Nov 07 2022 at 23:36):github-actions[bot] commented on issue #5220:
Subscribe to Label Action
cc @fitzgen, @peterhuene
<details>
This issue or pull request has been labeled: "fuzzing", "wasmtime:api"Thus the following users have been cc'd because of the following labels:
- fitzgen: fuzzing
- 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 (Nov 07 2022 at 23:41):coolreader18 commented on issue #5220:
Ah, lol, this doesn't actually have anything to do with fuzzing aha
Wasmtime GitHub notifications bot (Oct 25 2023 at 20:44):alexcrichton commented on issue #5220:
Trawling through some older PRs I think this is subsumed nowadays by https://github.com/bytecodealliance/wasmtime/pull/7298 so I'm going to close this.
Last updated: Nov 22 2024 at 17:03 UTC