Stream: git-wasmtime

Topic: wasmtime / PR #13439 Change the default collector to the ...


view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 19:35):

fitzgen opened PR #13439 from fitzgen:default-copy-collector 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 (May 21 2026 at 19:35):

fitzgen requested pchickey for a review on PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 19:35):

fitzgen requested wasmtime-core-reviewers for a review on PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 19:46):

fitzgen updated PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 20:12):

:thumbs_up: alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 21:15):

github-actions[bot] added the label wasmtime:api on PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 21:15):

github-actions[bot] added the label wasmtime:config on PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 21:15):

github-actions[bot] added the label wasmtime:ref-types on PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 21:15):

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

Subscribe to Label Action

cc @fitzgen

<details>
This issue or pull request has been labeled: "wasmtime:api", "wasmtime:config", "wasmtime:ref-types"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 21:17):

fitzgen updated PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 21:17):

fitzgen has enabled auto merge for PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 21:28):

fitzgen added PR #13439 Change the default collector to the copying collector to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 21:45):

github-merge-queue[bot] removed PR #13439 Change the default collector to the copying collector from the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (May 21 2026 at 22:07):

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

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 (May 22 2026 at 18:03):

fitzgen edited a comment on PR #13439:

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 (May 22 2026 at 18:03):

fitzgen edited a comment on PR #13439:

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 (May 22 2026 at 18:03):

fitzgen edited a comment on PR #13439:

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 (May 22 2026 at 18:04):

fitzgen updated PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 22 2026 at 18:04):

fitzgen has enabled auto merge for PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 22 2026 at 18:15):

fitzgen added PR #13439 Change the default collector to the copying collector to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (May 22 2026 at 18:40):

github-merge-queue[bot] removed PR #13439 Change the default collector to the copying collector from the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (May 22 2026 at 19:24):

fitzgen requested wasmtime-default-reviewers for a review on PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 22 2026 at 19:24):

fitzgen updated PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 22 2026 at 19:24):

fitzgen has enabled auto merge for PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 22 2026 at 19:35):

fitzgen added PR #13439 Change the default collector to the copying collector to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (May 22 2026 at 20:01):

:check: fitzgen merged PR #13439.

view this post on Zulip Wasmtime GitHub notifications bot (May 22 2026 at 20:01):

fitzgen removed PR #13439 Change the default collector to the copying collector from the merge queue.


Last updated: Jun 01 2026 at 09:49 UTC