Wasmtime GitHub notifications bot (Nov 14 2025 at 06:15): Wasmtime GitHub notifications bot (Nov 14 2025 at 06:15):black5box opened PR #12030 from black5box:main to bytecodealliance:main:
<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->fix a large number of spelling issues
Wasmtime GitHub notifications bot (Nov 14 2025 at 06:15):black5box requested abrown for a review on PR #12030.
Wasmtime GitHub notifications bot (Nov 14 2025 at 06:15):black5box requested wasmtime-compiler-reviewers for a review on PR #12030.
Wasmtime GitHub notifications bot (Nov 14 2025 at 06:15):black5box requested wasmtime-wasi-reviewers for a review on PR #12030.
Wasmtime GitHub notifications bot (Nov 14 2025 at 06:15):black5box requested wasmtime-core-reviewers for a review on PR #12030.
Wasmtime GitHub notifications bot (Nov 14 2025 at 06:15):black5box requested wasmtime-default-reviewers for a review on PR #12030.
Wasmtime GitHub notifications bot (Nov 14 2025 at 06:15):black5box requested alexcrichton for a review on PR #12030.
Wasmtime GitHub notifications bot (Nov 14 2025 at 08:48):github-actions[bot] commented on PR #12030:
Subscribe to Label Action
cc @cfallin, @fitzgen
<details>
This issue or pull request has been labeled: "cranelift", "cranelift:area:machinst", "cranelift:area:x64", "isle", "pulley", "wasmtime:api", "wizer"Thus the following users have been cc'd because of the following labels:
- cfallin: isle
- fitzgen: isle, pulley, wizer
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Wasmtime GitHub notifications bot (Nov 14 2025 at 09:40):tschneidereit commented on PR #12030:
While we appreciate contributions, they come at a cost to the maintainers. That's why the Wasmtime project isn't accepting PRs consisting of purely trivial changes, such as non-functional spelling issues.
Instead, please roll these into the next more substantial PR you open. Thank you!
Wasmtime GitHub notifications bot (Nov 14 2025 at 09:42):tschneidereit closed without merge PR #12030.
Last updated: Dec 06 2025 at 06:05 UTC