Stream: git-wasmtime

Topic: wasmtime / PR #5411 `--json` option for `wasmtime setting...

view this post on Zulip Wasmtime GitHub notifications bot (Dec 09 2022 at 21:45):

martindevans opened PR #5411 from json_settings_format to main:

Added a --json flag to the wasmtime settings command, as discussed in #5404. Settings data is gathered into the Settings struct, which is then printed either in human readable form (exactly the same format as before) or JSON (using serde).

I'm not very familiar with Rust, so please tell me if I've done any weird non-idiomatic things and I'll try to fix them!

view this post on Zulip Wasmtime GitHub notifications bot (Dec 10 2022 at 00:04):

martindevans updated PR #5411 from json_settings_format to main.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 10 2022 at 00:21):

martindevans updated PR #5411 from json_settings_format to main.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 10 2022 at 00:44):

martindevans updated PR #5411 from json_settings_format to main.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 12 2022 at 15:32):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 12 2022 at 15:32):

alexcrichton merged PR #5411.

Last updated: Nov 22 2024 at 16:03 UTC