Stream: git-wasmtime

Topic: wasmtime / PR #9546 Minor ergonomic improvements to pooli...


view this post on Zulip Wasmtime GitHub notifications bot (Nov 02 2024 at 20:48):

alexcrichton requested fitzgen for a review on PR #9546.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 02 2024 at 20:48):

alexcrichton requested wasmtime-core-reviewers for a review on PR #9546.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 02 2024 at 20:48):

alexcrichton opened PR #9546 from alexcrichton:minor-ergonomic-things to bytecodealliance:main:

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Nov 02 2024 at 20:50):

alexcrichton updated PR #9546.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 02 2024 at 21:08):

alexcrichton updated PR #9546.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 02 2024 at 21:08):

alexcrichton requested wasmtime-default-reviewers for a review on PR #9546.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 02 2024 at 23:44):

github-actions[bot] commented on PR #9546:

Label Messager: wasmtime:config

It looks like you are changing Wasmtime's configuration options. Make sure to
complete this check list:

[fuzzing-config]: https://github.com/bytecodealliance/wasmtime/blob/ca0e8d0a1d8cefc0496dba2f77a670571d8fdcab/crates/fuzzing/src/generators.rs#L182-L194
[fuzzing-docs]: https://docs.wasmtime.dev/contributing-fuzzing.html


<details>

To modify this label's message, edit the <code>.github/label-messager/wasmtime-config.md</code> file.

To add new label messages or remove existing label messages, edit the
<code>.github/label-messager.json</code> configuration file.

Learn more.

</details>

view this post on Zulip Wasmtime GitHub notifications bot (Nov 04 2024 at 17:18):

abrown submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 04 2024 at 17:18):

abrown created PR review comment:

        PoolingAllocationConfig::default()

view this post on Zulip Wasmtime GitHub notifications bot (Nov 04 2024 at 17:18):

abrown created PR review comment:

Not sure I get why this must now be non-exhaustive?

view this post on Zulip Wasmtime GitHub notifications bot (Nov 04 2024 at 18:16):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 04 2024 at 18:16):

alexcrichton created PR review comment:

Ah this should have been non_exhaustive before because one variant is conditionally defined, so I figured I'd go ahead and fix it while I was here

view this post on Zulip Wasmtime GitHub notifications bot (Nov 04 2024 at 18:17):

alexcrichton updated PR #9546.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 04 2024 at 18:17):

alexcrichton has enabled auto merge for PR #9546.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 04 2024 at 18:43):

alexcrichton merged PR #9546.


Last updated: Nov 22 2024 at 17:03 UTC