Wasmtime GitHub notifications bot (Apr 25 2023 at 01:13): Wasmtime GitHub notifications bot (Apr 25 2023 at 01:13):saulecabrera commented on issue #6281:
So perhaps we could name the feature in the fuzz crate something more specific, like fuzz-winch-only or winch-fuzz or somesuch? (Then the feature can require the winch feature in the rest of the engine.)
Great catch, yeah. I've renamed the feature to
fuzz-winch.
Wasmtime GitHub notifications bot (Apr 25 2023 at 03:44):github-actions[bot] commented on issue #6281:
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 16:03 UTC