Stream: git-wasmtime

Topic: wasmtime / PR #13309 Minor updates/improvements to `wast`...


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

alexcrichton opened PR #13309 from alexcrichton:wast-additions 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 06 2026 at 21:34):

alexcrichton requested dicej for a review on PR #13309.

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

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

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

alexcrichton unassigned dicej from PR #13309 Minor updates/improvements to wast subcommand.

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

alexcrichton requested cfallin for a review on PR #13309.

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

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

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

:thumbs_up: pchickey submitted PR review.

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

alexcrichton added PR #13309 Minor updates/improvements to wast subcommand to the merge queue.

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

alexcrichton removed PR #13309 Minor updates/improvements to wast subcommand from the merge queue.

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

alexcrichton requested fitzgen for a review on PR #13309.

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

alexcrichton requested wasmtime-fuzz-reviewers for a review on PR #13309.

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

alexcrichton updated PR #13309.

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

alexcrichton has enabled auto merge for PR #13309.

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

alexcrichton added PR #13309 Minor updates/improvements to wast subcommand to the merge queue.

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

github-merge-queue[bot] removed PR #13309 Minor updates/improvements to wast subcommand from the merge queue.

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

github-actions[bot] added the label fuzzing on PR #13309.

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

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

Subscribe to Label Action

cc @fitzgen

<details>
This issue or pull request has been labeled: "fuzzing"

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 07 2026 at 19:42):

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

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

alexcrichton updated PR #13309.

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

alexcrichton has enabled auto merge for PR #13309.

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

alexcrichton added PR #13309 Minor updates/improvements to wast subcommand to the merge queue.

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

github-merge-queue[bot] removed PR #13309 Minor updates/improvements to wast subcommand from the merge queue.

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

alexcrichton added PR #13309 Minor updates/improvements to wast subcommand to the merge queue.

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

:check: alexcrichton merged PR #13309.

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

alexcrichton removed PR #13309 Minor updates/improvements to wast subcommand from the merge queue.


Last updated: Jun 01 2026 at 09:49 UTC