Stream: git-wasmtime

Topic: wasmtime / PR #4737 [fuzz] Remove more fuzz targets

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 16:04):

abrown opened PR #4737 from remove-more-fuzz-targets to main:

This PR removes the differential fuzz target since its functionality is already covered by the differential_meta target. Then, it renames differential_meta to differential.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 16:51):

abrown updated PR #4737 from remove-more-fuzz-targets to main.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 16:52):

abrown requested alexcrichton for a review on PR #4737.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 16:55):

abrown has marked PR #4737 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 17:02):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 17:02):

alexcrichton has enabled auto merge for PR #4737.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2022 at 17:39):

alexcrichton merged PR #4737.

Last updated: Oct 23 2024 at 20:03 UTC