Wasmtime GitHub notifications bot (Oct 19 2023 at 22:45): Wasmtime GitHub notifications bot (Oct 19 2023 at 22:45):alexcrichton requested pchickey for a review on PR #7302.
Wasmtime GitHub notifications bot (Oct 19 2023 at 22:45):alexcrichton requested wasmtime-core-reviewers for a review on PR #7302.
Wasmtime GitHub notifications bot (Oct 19 2023 at 22:45):alexcrichton opened PR #7302 from alexcrichton:update-versions to bytecodealliance:main:
This commit updates the version numbers on
mainto no longer clash with the 14.0.0 release after #7299. The version number is chosen as the branch point for the 15.0.0 release of Wasmtime, at which point we'll update the versions again.<!--
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 (Oct 19 2023 at 22:46):alexcrichton updated PR #7302.
Wasmtime GitHub notifications bot (Oct 19 2023 at 22:49):pchickey submitted PR review:
This seems like a good choice for now. We will shoot to get some last wasi-http changes in here and upstream in the wasi proposal repos, and tag a RC in those proposal repos sometime between Nov 1 and 5, and then we can update these numbers (& wits, where comment changes happened) to be perfectly in sync.
Wasmtime GitHub notifications bot (Oct 19 2023 at 22:49):alexcrichton has enabled auto merge for PR #7302.
Wasmtime GitHub notifications bot (Oct 20 2023 at 00:04):alexcrichton merged PR #7302.
Last updated: Nov 22 2024 at 17:03 UTC