Wasmtime GitHub notifications bot (May 26 2023 at 01:17): Wasmtime GitHub notifications bot (May 26 2023 at 01:17):jameysharp commented on issue #6464:
My guess is if anybody has objections to this PR it'll probably be @alexcrichton or @fitzgen so maybe I should have picked one of you as reviewers instead of letting it auto-assign. Oh well.
Wasmtime GitHub notifications bot (May 26 2023 at 03:44):github-actions[bot] commented on issue #6464:
Subscribe to Label Action
cc @peterhuene
<details>
This issue or pull request has been labeled: "wasmtime:api"Thus the following users have been cc'd because of the following labels:
- peterhuene: wasmtime:api
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 (Jun 02 2023 at 19:07):jameysharp commented on issue #6464:
I think I've addressed all your review comments.
I've also added a brief note to the release notes, though I'm not sure if it needs to be louder since it's an API break?
I'm hoping to get this into the next release, and I just realized today that's forking off on Monday. Sorry for not leaving a lot of time for review.
Wasmtime GitHub notifications bot (Jun 02 2023 at 19:45):github-actions[bot] commented on issue #6464:
Subscribe to Label Action
cc @peterhuene
<details>
This issue or pull request has been labeled: "wasmtime:c-api", "wasmtime:docs"Thus the following users have been cc'd because of the following labels:
- peterhuene: wasmtime:c-api
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Last updated: Dec 23 2024 at 12:05 UTC