Stream: git-wasmtime

Topic: wasmtime / PR #14216 Add myself/Michael to subscribe-to-l...

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

avanhatt opened PR #14216 from avanhatt:patch-6 to bytecodealliance:main:

As we are integrating the ISLE verifier, it would be nice to be CC'ed on ISLE PRs so we can help with any spec changes as needed.

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

avanhatt requested alexcrichton for a review on PR #14216.

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

avanhatt requested wasmtime-default-reviewers for a review on PR #14216.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 26 2026 at 20:23):

:thumbs_up: alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 26 2026 at 20:24):

alexcrichton has enabled auto merge for PR #14216.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 26 2026 at 20:31):

alexcrichton added PR #14216 Add myself/Michael to subscribe-to-label for ISLE PRs to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 26 2026 at 20:56):

:check: alexcrichton merged PR #14216.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 26 2026 at 20:56):

alexcrichton removed PR #14216 Add myself/Michael to subscribe-to-label for ISLE PRs from the merge queue.

Last updated: Aug 30 2026 at 09:07 UTC