Stream: git-wasmtime

Topic: wasmtime / PR #9428 [22.0.x] Update publish script skippi...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2024 at 18:25):

alexcrichton requested elliottt for a review on PR #9428.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2024 at 18:25):

alexcrichton opened PR #9428 from alexcrichton:publish-script22 to bytecodealliance:release-22.0.0:

Instead of only checking the latest version check the list of recently published versions to determine if a version is already published.

<!--
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 (Oct 09 2024 at 18:25):

alexcrichton requested wasmtime-default-reviewers for a review on PR #9428.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2024 at 18:27):

alexcrichton has enabled auto merge for PR #9428.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2024 at 18:40):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 09 2024 at 18:41):

alexcrichton merged PR #9428.


Last updated: Nov 22 2024 at 16:03 UTC