Stream: git-wasmtime

Topic: wasmtime / PR #5296 Turn off sanitizers for fuzz build on CI


view this post on Zulip Wasmtime GitHub notifications bot (Nov 18 2022 at 15:57):

alexcrichton opened PR #5296 from fuzz-no-san to main:

This hopefully will speed things up slightly since ASan can add a chunk to the compile time. Unsure if this will actually help, though, so let's find out!

<!--

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 18 2022 at 15:57):

alexcrichton requested elliottt for a review on PR #5296.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 18 2022 at 16:31):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 18 2022 at 16:47):

alexcrichton merged PR #5296.


Last updated: Dec 23 2024 at 12:05 UTC