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
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
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
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.
alexcrichton commented on Issue #1841:
Hm the tag failed to build, though, since CI didn't pass on the commit itself...
bjorn3 commented on Issue #1841:
v0.17.0 has a tag but no release. No releases after that are missing.
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.
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: Dec 23 2024 at 12:05 UTC