Wasmtime GitHub notifications bot (Apr 27 2024 at 10:30): Wasmtime GitHub notifications bot (Apr 27 2024 at 10:30):FrankReh requested fitzgen for a review on PR #8495.
Wasmtime GitHub notifications bot (Apr 27 2024 at 10:30):FrankReh requested wasmtime-core-reviewers for a review on PR #8495.
Wasmtime GitHub notifications bot (Apr 27 2024 at 10:30):FrankReh opened PR #8495 from FrankReh:comment-edits to bytecodealliance:main.
Wasmtime GitHub notifications bot (Apr 27 2024 at 11:03):FrankReh updated PR #8495.
Wasmtime GitHub notifications bot (Apr 27 2024 at 11:07):FrankReh updated PR #8495.
Wasmtime GitHub notifications bot (Apr 27 2024 at 11:10):FrankReh commented on PR #8495:
Assume if some of this gets merged, squash merge is used. Let me know if I should squash though.
Wasmtime GitHub notifications bot (Apr 27 2024 at 11:44):github-actions[bot] commented on PR #8495:
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 (Apr 27 2024 at 11:59):FrankReh commented on PR #8495:
I see the typos under 'deps' can't be fixed here. I'll revert those.
Wasmtime GitHub notifications bot (Apr 27 2024 at 12:02):FrankReh updated PR #8495.
Wasmtime GitHub notifications bot (Apr 27 2024 at 13:13):FrankReh edited a comment on PR #8495:
I see the typos under 'deps' can't be fixed here. I'll revert those.
I've opened PRs on some WIT dependencies I've found along the way.
Wasmtime GitHub notifications bot (Apr 29 2024 at 15:09):fitzgen submitted PR review:
Thanks!
Wasmtime GitHub notifications bot (Apr 29 2024 at 15:32):fitzgen merged PR #8495.
Last updated: Oct 23 2024 at 20:03 UTC