Stream: git-wasmtime

Topic: wasmtime / PR #12041 chore: fix broken links


view this post on Zulip Wasmtime GitHub notifications bot (Nov 18 2025 at 13:35):

MozirDmitriy opened PR #12041 from MozirDmitriy:mzd to bytecodealliance:main:

https://github.com/WebAssembly/component-model/blob/main/design/mvp/Async.md - broken
https://github.com/WebAssembly/component-model/blob/main/design/mvp/Concurrency.md - actual

view this post on Zulip Wasmtime GitHub notifications bot (Nov 18 2025 at 13:35):

MozirDmitriy requested alexcrichton for a review on PR #12041.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 18 2025 at 13:35):

MozirDmitriy requested wasmtime-core-reviewers for a review on PR #12041.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 18 2025 at 15:47):

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

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 18 2025 at 16:24):

pchickey submitted PR review.

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

pchickey has enabled auto merge for PR #12041.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 20 2025 at 21:21):

pchickey has disabled auto merge for PR #12041.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 20 2025 at 21:21):

alexcrichton closed without merge PR #12041.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 20 2025 at 21:21):

alexcrichton reopened PR #12041.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 20 2025 at 21:21):

alexcrichton has enabled auto merge for PR #12041.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 21 2025 at 00:05):

alexcrichton merged PR #12041.


Last updated: Dec 06 2025 at 06:05 UTC