Stream: git-wasmtime

Topic: wasmtime / issue #5296 Turn off sanitizers for fuzz build...

Wasmtime GitHub notifications bot (Nov 18 2022 at 16:47):

alexcrichton commented on issue #5296:

Looks like ~2 minutes were shaved off the build step itself, yay!

Wasmtime GitHub notifications bot (Nov 20 2022 at 00:23):

dgryski commented on issue #5296:

Given that fuzzing with sanitizers is frequently helpful, is that configuration running anywhere?

Wasmtime GitHub notifications bot (Nov 21 2022 at 16:36):

alexcrichton commented on issue #5296:

Oh this is just a CI build to make sure things build, no fuzzers are actually run from these artifacts. The oss-fuzz-built-fuzzers have these sanitizers enabled.

Last updated: Oct 23 2024 at 20:03 UTC