Stream: git-wasmtime

Topic: wasmtime / PR #5980 Add a `--dynamic-memory-reserved-for-...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2023 at 16:35):

alexcrichton opened PR #5980 from more-cli-flags to main:

Maps to the corresponding wasmtime::Config option. The motivation here is largely completeness and was something I was looking into with the failures in #5970

<!--

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 (Mar 10 2023 at 17:47):

pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2023 at 18:43):

alexcrichton merged PR #5980.


Last updated: Dec 23 2024 at 12:05 UTC