Stream: git-wasmtime

Topic: wasmtime / PR #4428 Delete source for `cranelift-fuzzgen`...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 11 2022 at 14:27):

alexcrichton opened PR #4428 from fix-fuzz-build to main:

My previous attempt in to disable the cranelift fuzzgen fuzz targets
in #4391 unfortunately broke Wasmtime's build on OSS-fuzz, specifically
[this line] because the fuzz source was still in place but a binary was
no longer built. To fix that build this commit removes the fuzzgen
source entirely and relies on our git history to recover the original
source in the future when the target is fixed.

[this line]: https://github.com/google/oss-fuzz/blob/daa879e5fea1ba04f9695ea3fdf7f2cbe7c8ad78/projects/wasmtime/build.sh#L49

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jul 11 2022 at 17:09):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 11 2022 at 20:09):

alexcrichton closed without merge PR #4428.


Last updated: Oct 23 2024 at 20:03 UTC