Stream: git-wasmtime

Topic: wasmtime / issue #6566 Release Wasmtime 9.0.4


view this post on Zulip Wasmtime GitHub notifications bot (Jun 12 2023 at 23:44):

github-actions[bot] commented on issue #6566:

Subscribe to Label Action

cc @cfallin, @fitzgen, @peterhuene, @saulecabrera

<details>
This issue or pull request has been labeled: "cranelift", "cranelift:meta", "cranelift:module", "cranelift:wasm", "isle", "wasmtime:c-api", "winch"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2023 at 09:33):

TimonPost commented on issue #6566:

@jameysharp the pr description says: "When this PR is merged a release tag will automatically be
created, crates will be published, and CI artifacts will be produced.". I don't see a release of wasmtime 0.9.4 on crates io and also RELEASES.md is not updated?

view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2023 at 09:42):

TimonPost edited a comment on issue #6566:

@jameysharp the pr description says: "When this PR is merged a release tag will automatically be
created, crates will be published, and CI artifacts will be produced.". I don't see a release of wasmtime 0.9.4 on crates io. Did the CI fail here like @alexcrichton commented on?

view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2023 at 13:51):

alexcrichton commented on issue #6566:

Ah there's a bit of discussion on Zulip about this but CI was having issues yesterday which caused CI on the merge to fail

view this post on Zulip Wasmtime GitHub notifications bot (Jun 13 2023 at 16:28):

jameysharp commented on issue #6566:

Thanks to Alex pointing me in the right direction, 9.0.4 is on crates.io now!


Last updated: Dec 23 2024 at 12:05 UTC