Wasmtime GitHub notifications bot (Oct 03 2024 at 18:57): Wasmtime GitHub notifications bot (Oct 03 2024 at 18:57):wasmtime-publish requested cfallin for a review on PR #9366.
Wasmtime GitHub notifications bot (Oct 03 2024 at 18:57):wasmtime-publish requested wasmtime-compiler-reviewers for a review on PR #9366.
Wasmtime GitHub notifications bot (Oct 03 2024 at 18:57):wasmtime-publish opened PR #9366 from bytecodealliance:ci/bump-to-25.0.2 to bytecodealliance:release-25.0.0:
This is an [automated pull request][process] from CI to create a patch release for Wasmtime 25.0.2, requested by @alexcrichton.
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/release-25.0.2/RELEASES.md
[process]: https://docs.wasmtime.dev/contributing-release-process.html
Wasmtime GitHub notifications bot (Oct 03 2024 at 18:57):wasmtime-publish requested elliottt for a review on PR #9366.
Wasmtime GitHub notifications bot (Oct 03 2024 at 18:57):wasmtime-publish requested wasmtime-core-reviewers for a review on PR #9366.
Wasmtime GitHub notifications bot (Oct 03 2024 at 18:57):wasmtime-publish requested wasmtime-default-reviewers for a review on PR #9366.
Wasmtime GitHub notifications bot (Oct 03 2024 at 18:58):alexcrichton commented on PR #9366:
This is in preparation for the upcoming security release
Wasmtime GitHub notifications bot (Oct 03 2024 at 20:44):github-actions[bot] commented on PR #9366:
Subscribe to Label Action
cc @cfallin, @fitzgen, @saulecabrera
<details>
This issue or pull request has been labeled: "cranelift", "cranelift:meta", "cranelift:module", "cranelift:wasm", "isle", "pulley", "wasmtime:c-api", "winch"Thus the following users have been cc'd because of the following labels:
- cfallin: isle
- fitzgen: isle, pulley
- saulecabrera: winch
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 (Oct 06 2024 at 19:05):alexcrichton updated PR #9366.
Wasmtime GitHub notifications bot (Oct 07 2024 at 15:50):abrown submitted PR review.
Wasmtime GitHub notifications bot (Oct 09 2024 at 16:36):alexcrichton merged PR #9366.
Last updated: Nov 22 2024 at 17:03 UTC