Wasmtime GitHub notifications bot (Jan 05 2022 at 00:03): Wasmtime GitHub notifications bot (Jan 05 2022 at 00:03):wasmtime-publish opened PR #3648 from ci/bump-version to main:
This is an automated pull request from CI which is intended to
notify maintainers that it's time to release Wasmtime version
0.33.0. Version numbers have been bumped
in this PR automatically and the release process will automatically
enter the next stages once this PR is merged.It's recommended that maintainers double-check that [RELEASES.md]
is up-to-date. If not please feel free to push to this PR any
modifications to the release notes. Additionally before merging it's
probably best to double-check the [release process] and make sure that
everything is ship-shape.[RELEASES.md]: https://github.com/bytecodealliance/wasmtime/blob/main/RELEASES.md
[release process]: https://docs.wasmtime.dev/contributing-release-process.html
Wasmtime GitHub notifications bot (Jan 05 2022 at 15:10):alexcrichton updated PR #3648 from ci/bump-version to main.
Wasmtime GitHub notifications bot (Jan 05 2022 at 17:14):cfallin submitted PR review.
Wasmtime GitHub notifications bot (Jan 05 2022 at 17:14):cfallin created PR review comment:
The wording here reads a little ambiguously... "added: worse debugging experience". Maybe we could say "may not optionally omit information ... if configured by a setting"?
Wasmtime GitHub notifications bot (Jan 05 2022 at 17:15):cfallin edited PR review comment.
Wasmtime GitHub notifications bot (Jan 05 2022 at 19:26):alexcrichton updated PR #3648 from ci/bump-version to main.
Wasmtime GitHub notifications bot (Jan 05 2022 at 19:26):alexcrichton submitted PR review.
Wasmtime GitHub notifications bot (Jan 05 2022 at 19:26):alexcrichton merged PR #3648.
Last updated: Nov 22 2024 at 16:03 UTC