wasmtime / PR #12827 feat(style,doc): added typos-cli wor... · git-wasmtime

Subscribe to Label Action

cc @cfallin, @fitzgen

<details>
This issue or pull request has been labeled: "cranelift", "cranelift:meta", "fuzzing", "isle", "wasmtime:api"

Thus the following users have been cc'd because of the following labels:

cfallin: isle

fitzgen: fuzzing, isle

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 (Mar 23 2026 at 23:01):

mkatychev submitted PR review.

Wasmtime GitHub notifications bot (Mar 23 2026 at 23:01):

mkatychev created PR review comment:

From Google Books, it looks as if the -rr- spelling was more common in the nineteenth century and earlier. There are a small number of contemporary hits for -rr-, but they are vastly outweighed by the spelling with one R.

From a bit of research, either way is fine though.

Wasmtime GitHub notifications bot (Mar 24 2026 at 19:37):

mkatychev updated PR #12827.

Wasmtime GitHub notifications bot (Mar 24 2026 at 19:45):

mkatychev edited PR review comment.

Wasmtime GitHub notifications bot (Mar 24 2026 at 22:00):

pchickey commented on PR #12827:

Thanks, its nice to have all these fixed and even nicer that there is a tool for automating this sort of toil. The typos crate docs says that false positives are low enough to run as part of PR CI checks. Would you mind adding that to our CI as part of this PR? Worst case, if it gets to be a burden, we can turn it off and come up with some other way to periodically clean the repo up.

Wasmtime GitHub notifications bot (Mar 24 2026 at 22:16):

pchickey edited a comment on PR #12827:

Thanks, its nice to have all these fixed and even nicer that there is a tool for automating this sort of toil. The typos crate docs says that false positives are low enough to run as part of PR CI checks. Would you mind adding that to our CI in a follow up PR? Worst case, if it gets to be a burden, we can turn it off and come up with some other way to periodically clean the repo up.

Wasmtime GitHub notifications bot (Mar 24 2026 at 22:17):

pchickey submitted PR review.

Wasmtime GitHub notifications bot (Mar 24 2026 at 22:17):

pchickey added PR #12827 feat(style,doc): added typos-cli workspace configuration to the merge queue.

Wasmtime GitHub notifications bot (Mar 24 2026 at 22:41):

pchickey merged PR #12827.

Wasmtime GitHub notifications bot (Mar 24 2026 at 22:41):

pchickey removed PR #12827 feat(style,doc): added typos-cli workspace configuration from the merge queue.

Last updated: Apr 12 2026 at 23:10 UTC