Stream: git-wasmtime

Topic: wasmtime / PR #8008 Backport #8005 to release-18.0.0


view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 02:54):

elliottt requested wasmtime-compiler-reviewers for a review on PR #8008.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 02:54):

elliottt requested fitzgen for a review on PR #8008.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 02:54):

elliottt requested wasmtime-default-reviewers for a review on PR #8008.

view this post on Zulip 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:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 02:54):

elliottt requested alexcrichton for a review on PR #8008.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 03:03):

cfallin submitted PR review.

view this post on Zulip 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:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 06:00):

bjorn3 submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 06:00):

bjorn3 created PR review comment:

18.0.2?

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 08:17):

elliottt submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 08:17):

elliottt created PR review comment:

Good catch, thank you!

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 08:18):

elliottt updated PR #8008.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 15:32):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 15:32):

alexcrichton submitted PR review.

view this post on Zulip 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)

view this post on Zulip Wasmtime GitHub notifications bot (Feb 28 2024 at 15:32):

alexcrichton merged PR #8008.


Last updated: Dec 23 2024 at 12:05 UTC