Stream: git-wasmtime

Topic: wasmtime / PR #3603 Add CLI options for more configuratio...


view this post on Zulip Wasmtime GitHub notifications bot (Dec 14 2021 at 22:36):

alexcrichton opened PR #3603 from more-flags to main:

This commit adds a few more CLI flags for random fiddly bits in the
Config structure to make it a bit easier to play around on the command
line and see the effect of various flags on compiled code.

<!--

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 (Dec 14 2021 at 22:36):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 16 2021 at 16:10):

alexcrichton merged PR #3603.


Last updated: Dec 23 2024 at 12:05 UTC