Stream: git-wasmtime

Topic: wasmtime / Issue #1841 Missing git tag for 0.17, and no g...


view this post on Zulip Wasmtime GitHub notifications bot (Jun 07 2020 at 18:28):

tschneidereit opened Issue #1841:

Seems like something's off with our release scripts/procedures: we don't have git tags for 0.17, and we don't have github releases for anything after 0.15.

CC @alexcrichton @sunfishcode

view this post on Zulip Wasmtime GitHub notifications bot (Jun 07 2020 at 18:29):

tschneidereit labeled Issue #1841:

Seems like something's off with our release scripts/procedures: we don't have git tags for 0.17, and we don't have github releases for anything after 0.15.

CC @alexcrichton @sunfishcode

view this post on Zulip Wasmtime GitHub notifications bot (Jun 07 2020 at 18:29):

tschneidereit labeled Issue #1841:

Seems like something's off with our release scripts/procedures: we don't have git tags for 0.17, and we don't have github releases for anything after 0.15.

CC @alexcrichton @sunfishcode

view this post on Zulip Wasmtime GitHub notifications bot (Jun 08 2020 at 14:23):

alexcrichton commented on Issue #1841:

I just pushed a tag for v0.17.0, but we do have a release for v0.16.0? Did that perhaps show up since this was opened? FWIW the release process does have a tagging step.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 08 2020 at 14:51):

alexcrichton commented on Issue #1841:

Hm the tag failed to build, though, since CI didn't pass on the commit itself...

view this post on Zulip Wasmtime GitHub notifications bot (Feb 03 2021 at 20:47):

bjorn3 commented on Issue #1841:

v0.17.0 has a tag but no release. No releases after that are missing.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 05 2021 at 19:54):

tschneidereit commented on Issue #1841:

I think it's fine not to have the release for this tag. Ideally we'd not have tagged a rev that didn't build, but I don't think this matters much, given how long ago it was.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 05 2021 at 19:54):

tschneidereit closed Issue #1841:

Seems like something's off with our release scripts/procedures: we don't have git tags for 0.17, and we don't have github releases for anything after 0.15.

CC @alexcrichton @sunfishcode


Last updated: Oct 23 2024 at 20:03 UTC