Stream: git-wasmtime

Topic: wasmtime / PR #4440 Fix fuel configuration in fuzzers


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

alexcrichton opened PR #4440 from fix-fuzzer-fuel to main:

Previously fuel configuration in our fuzzers ran afoul of #4439 so this
commit fixes how fuel is managed to avoid that issue.

<!--

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 13 2022 at 14:43):

alexcrichton requested fitzgen for a review on PR #4440.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 13 2022 at 16:02):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 13 2022 at 16:02):

fitzgen merged PR #4440.


Last updated: Dec 23 2024 at 12:05 UTC