Stream: git-wasmtime

Topic: wasmtime / PR #13362 chore: fix duplicated words in pulle...

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

vip892766gma opened PR #13362 from vip892766gma:fix/duplicated-words-in-pulley-and-debugger-comments to bytecodealliance:main:

Three small comment-only typos: doubled that that in pulley/src/decode.rs, doubled a a in crates/debugger/src/lib.rs, and doubled of of in crates/wasmtime/src/runtime/vm/sys/unix/pagemap.rs. No functional change.

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

vip892766gma requested wasmtime-core-reviewers for a review on PR #13362.

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

vip892766gma requested pchickey for a review on PR #13362.

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

vip892766gma requested alexcrichton for a review on PR #13362.

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

vip892766gma requested wasmtime-default-reviewers for a review on PR #13362.

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

:thumbs_up: ggreif submitted PR review.

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

github-actions[bot] added the label pulley on PR #13362.

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

github-actions[bot] added the label wasmtime:api on PR #13362.

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

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

Subscribe to Label Action

cc @fitzgen

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

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 14 2026 at 13:22):

:cross_mark: alexcrichton closed without merge PR #13362.

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

alexcrichton commented on PR #13362:

I've already explained on prior PRs of yours that this project does not accept these PRs, please stop sending them.

Last updated: Jun 01 2026 at 09:49 UTC