Wasmtime GitHub notifications bot (Jul 11 2022 at 15:25): Wasmtime GitHub notifications bot (Jul 11 2022 at 15:25):github-actions[bot] commented on issue #4428:
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 (Jul 11 2022 at 15:28):jameysharp commented on issue #4428:
You're right that it isn't a big deal to restore it from git history. But I think we know how to fix #3347 now, if that makes any difference in whether you still want to remove this.
Wasmtime GitHub notifications bot (Jul 11 2022 at 15:48):alexcrichton commented on issue #4428:
For now I'd like to prioritize fixing the fuzz build to get that back up and running, but if the delta between this and fixing the cranelift-fuzzgen targets is 24-48 hours it seems fine to ignore this.
Wasmtime GitHub notifications bot (Jul 11 2022 at 20:09):alexcrichton commented on issue #4428:
The fuzz target is being fixed in https://github.com/bytecodealliance/wasmtime/pull/4429 so I'm going to close in favor of that.
Last updated: Nov 22 2024 at 17:03 UTC