Stream: git-wasmtime

Topic: wasmtime / PR #3563 CI: Add CIFuzz integration


view this post on Zulip Wasmtime GitHub notifications bot (Nov 26 2021 at 19:12):

DavidKorczynski opened PR #3563 from cifuzz-integration to main:

Signed-off-by: David Korczynski <david@adalogics.com>

Add CIFuzz workflow action to have the OSS-Fuzz set up of Wasmtime build and run on each PR.

I noticed you have another fuzzing job in your CI and thought you might be interested in using CIFuzz instead/as well.

@alexcrichton I think you might be an appropriate reviewer of this PR.

<!--

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 (Nov 26 2021 at 19:41):

bjorn3 created PR review comment:

I think this should use a specific version to prevent CI breaking if there id a breaking change on the master branch.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 26 2021 at 19:41):

bjorn3 submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2021 at 23:57):

fitzgen closed without merge PR #3563.


Last updated: Dec 23 2024 at 12:05 UTC