Stream: git-wasmtime

Topic: wasmtime / PR #14839 Clarify map docs and add `Type::unwr...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 19 2026 at 19:18):

jrandolf opened PR #14839 from jrandolf:map-docs-api to bytecodealliance:main:

A few small things found while looking at map<K, V>:

view this post on Zulip Wasmtime GitHub notifications bot (Oct 19 2026 at 19:28):

jrandolf has marked PR #14839 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 19 2026 at 19:28):

jrandolf removed the review request for wasmtime-core-reviewers from PR #14839.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 19 2026 at 19:28):

jrandolf requested wasmtime-core-reviewers for a review on PR #14839.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 19 2026 at 19:28):

jrandolf requested pchickey for a review on PR #14839.

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

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

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

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

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

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

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 (Oct 19 2026 at 23:21):

:thumbs_up: pchickey submitted PR review.

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

pchickey added PR #14839 Clarify map docs and add Type::unwrap_map to the merge queue

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

:check: pchickey merged PR #14839.

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

pchickey removed PR #14839 Clarify map docs and add Type::unwrap_map from the merge queue


Last updated: Oct 31 2026 at 23:03 UTC