Stream: git-wasmtime

Topic: wasmtime / PR #7067 Release Wasmtime 13.0.0


view this post on Zulip Wasmtime GitHub notifications bot (Sep 20 2023 at 00:12):

wasmtime-publish opened PR #7067 from bytecodealliance:ci/release-13.0.0 to bytecodealliance:release-13.0.0:

This is an [automated pull request][process] from CI which is
intended to notify maintainers that it's time to release Wasmtime
13.0.0. The [release branch][branch] was created roughly two weeks ago
and it's now time for it to be published and released.

It's recommended that maintainers double-check that [RELEASES.md]
is up-to-date and that there are no known issues before merging this
PR. When this PR is merged a release tag will automatically be
created, crates will be published, and CI artifacts will be produced.

[RELEASES.md]: https://github.com/bytecodealliance/wasmtime/blob/main/RELEASES.md
[process]: https://docs.wasmtime.dev/contributing-release-process.html
[branch]: https://github.com/bytecodealliance/wasmtime/tree/release-13.0.0

view this post on Zulip Wasmtime GitHub notifications bot (Sep 20 2023 at 00:12):

wasmtime-publish requested cfallin for a review on PR #7067.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 20 2023 at 00:12):

wasmtime-publish requested wasmtime-default-reviewers for a review on PR #7067.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 20 2023 at 14:37):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 20 2023 at 14:37):

alexcrichton merged PR #7067.


Last updated: Dec 23 2024 at 13:07 UTC