Stream: git-wasmtime

Topic: wasmtime / PR #3156 Remove rss prediction from api_calls ...


view this post on Zulip Wasmtime GitHub notifications bot (Aug 06 2021 at 14:07):

alexcrichton opened PR #3156 from less-rss-predict to main:

This functionality is now subsumed by the limiter built-in to all
fuzzing stores, so there's no longer any need for it. It was also
triggering arithmetic overflows in fuzzing, so instead of fixing I'm
removing it!

<!--

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 (Aug 06 2021 at 17:36):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 06 2021 at 17:43):

alexcrichton merged PR #3156.


Last updated: Dec 23 2024 at 12:05 UTC