Stream: git-wasmtime

Topic: wasmtime / PR #8909 [23.0.0] Update the wasm-tools family...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 08 2024 at 14:50):

alexcrichton opened PR #8909 from alexcrichton:backport-update-of-wasm-tools to bytecodealliance:main:

This is a backport of #8882 to get the limits on flags landed sooner.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 08 2024 at 14:50):

alexcrichton requested elliottt for a review on PR #8909.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 08 2024 at 14:50):

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

view this post on Zulip Wasmtime GitHub notifications bot (Jul 08 2024 at 14:50):

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

view this post on Zulip Wasmtime GitHub notifications bot (Jul 08 2024 at 15:05):

alexcrichton edited PR #8909.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 08 2024 at 16:45):

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

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 (Jul 08 2024 at 17:19):

abrown submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 08 2024 at 17:27):

alexcrichton merged PR #8909.


Last updated: Nov 22 2024 at 16:03 UTC