Wasmtime GitHub notifications bot (Aug 22 2025 at 15:13): Wasmtime GitHub notifications bot (Aug 22 2025 at 15:13):prestoalvarez opened PR #11509 from prestoalvarez:main to bytecodealliance:main.
Wasmtime GitHub notifications bot (Aug 22 2025 at 15:13):prestoalvarez requested alexcrichton for a review on PR #11509.
Wasmtime GitHub notifications bot (Aug 22 2025 at 15:13):prestoalvarez requested wasmtime-fuzz-reviewers for a review on PR #11509.
Wasmtime GitHub notifications bot (Aug 22 2025 at 15:13):prestoalvarez requested wasmtime-core-reviewers for a review on PR #11509.
Wasmtime GitHub notifications bot (Aug 22 2025 at 15:45):alexcrichton commented on PR #11509:
@prestoalvarez this is your fifth PR in a few days fixing a typo-per commit with 3 typos per PR. Can you describe a bit more in detail what your goal is? Are you automatically detecting typos? Are you reading documentation and slowly finding typos?
Wasmtime GitHub notifications bot (Aug 22 2025 at 15:53):prestoalvarez commented on PR #11509:
@prestoalvarez this is your fifth PR in a few days fixing a typo-per commit with 3 typos per PR. Can you describe a bit more in detail what your goal is? Are you automatically detecting typos? Are you reading documentation and slowly finding typos?
@alexcrichton Hi! I am slowly reading documentation and finding typos
Wasmtime GitHub notifications bot (Aug 22 2025 at 15:55):prestoalvarez edited a comment on PR #11509:
@prestoalvarez this is your fifth PR in a few days fixing a typo-per commit with 3 typos per PR. Can you describe a bit more in detail what your goal is? Are you automatically detecting typos? Are you reading documentation and slowly finding typos?
@alexcrichton Hi! I am slowly reading documentation and finding typos. I can find all typos in repo and add them in one PR, but it needed much more time.
Wasmtime GitHub notifications bot (Aug 22 2025 at 17:10):pchickey commented on PR #11509:
We have discussed this as a team and created a new policy to only accept 1 PR per week for documentation typo fixes. Please save up all the typos from your reading on this PR and we will land it next friday.
Wasmtime GitHub notifications bot (Aug 22 2025 at 19:44):github-actions[bot] commented on PR #11509:
Subscribe to Label Action
cc @fitzgen
<details>
This issue or pull request has been labeled: "fuzzing", "wasmtime:api"Thus the following users have been cc'd because of the following labels:
- fitzgen: fuzzing
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 (Aug 27 2025 at 13:26):dicej submitted PR review.
Wasmtime GitHub notifications bot (Aug 27 2025 at 13:29):Oops, I only saw Pat's comment above after hitting approve. Happy to hold off merging this until Friday.
Wasmtime GitHub notifications bot (Sep 18 2025 at 11:31):prestoalvarez requested dicej for a review on PR #11509.
Wasmtime GitHub notifications bot (Sep 24 2025 at 12:27):dicej merged PR #11509.
Last updated: Dec 06 2025 at 07:03 UTC