Wasmtime GitHub notifications bot (Feb 28 2024 at 02:54): Wasmtime GitHub notifications bot (Feb 28 2024 at 02:54):elliottt requested wasmtime-compiler-reviewers for a review on PR #8008.
Wasmtime GitHub notifications bot (Feb 28 2024 at 02:54):elliottt requested fitzgen for a review on PR #8008.
Wasmtime GitHub notifications bot (Feb 28 2024 at 02:54):elliottt requested wasmtime-default-reviewers for a review on PR #8008.
Wasmtime GitHub notifications bot (Feb 28 2024 at 02:54):elliottt opened PR #8008 from elliottt:trevor/backport-8005-18 to bytecodealliance:release-18.0.0:
Backport #8005 to the wasmtime 18 release branch, and update the release notes.
<!--
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
-->
Wasmtime GitHub notifications bot (Feb 28 2024 at 02:54):elliottt requested alexcrichton for a review on PR #8008.
Wasmtime GitHub notifications bot (Feb 28 2024 at 03:03):cfallin submitted PR review.
Wasmtime GitHub notifications bot (Feb 28 2024 at 05:44):github-actions[bot] commented on PR #8008:
Subscribe to Label Action
cc @cfallin, @fitzgen
<details>
This issue or pull request has been labeled: "cranelift", "isle", "wasmtime:docs"Thus the following users have been cc'd because of the following labels:
- cfallin: isle
- fitzgen: 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 (Feb 28 2024 at 06:00):bjorn3 submitted PR review.
Wasmtime GitHub notifications bot (Feb 28 2024 at 06:00):bjorn3 created PR review comment:
18.0.2?
Wasmtime GitHub notifications bot (Feb 28 2024 at 08:17):elliottt submitted PR review.
Wasmtime GitHub notifications bot (Feb 28 2024 at 08:17):elliottt created PR review comment:
Good catch, thank you!
Wasmtime GitHub notifications bot (Feb 28 2024 at 08:18):elliottt updated PR #8008.
Wasmtime GitHub notifications bot (Feb 28 2024 at 15:32):alexcrichton submitted PR review.
Wasmtime GitHub notifications bot (Feb 28 2024 at 15:32):alexcrichton submitted PR review.
Wasmtime GitHub notifications bot (Feb 28 2024 at 15:32):alexcrichton created PR review comment:
For when 18.0.2 and 17.0.2 are released mind adding these date-related "Released" entries in the notes?
(you should be able to push directly to the PR created from CI when doing that)
Wasmtime GitHub notifications bot (Feb 28 2024 at 15:32):alexcrichton merged PR #8008.
Last updated: Oct 23 2024 at 20:03 UTC