Stream: git-wasmtime

Topic: wasmtime / PR #9456 fix doc mistake in `interp_loop.rs`

view this post on Zulip Wasmtime GitHub notifications bot (Oct 11 2024 at 07:56):

Rudxain requested fitzgen for a review on PR #9456.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 11 2024 at 07:56):

Rudxain requested wasmtime-default-reviewers for a review on PR #9456.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 11 2024 at 07:56):

Rudxain opened PR #9456 from Rudxain:the to bytecodealliance:main:

https://github.com/bytecodealliance/wasmtime/pull/9251#discussion_r1796536201

view this post on Zulip Wasmtime GitHub notifications bot (Oct 11 2024 at 10:45):

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

Subscribe to Label Action

cc @fitzgen

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

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 (Oct 11 2024 at 14:26):

alexcrichton submitted PR review:

Thanks!

view this post on Zulip Wasmtime GitHub notifications bot (Oct 11 2024 at 14:42):

alexcrichton merged PR #9456.

Last updated: Nov 22 2024 at 16:03 UTC