I tried to follow the steps for making a patch release (https://docs.wasmtime.dev/contributing-release-process.html#releasing-a-patch-version) but after merging the release PR an hour ago (https://github.com/bytecodealliance/wasmtime/pull/6566) it seems like nothing further has happened. I can't dig into this further today but maybe somebody else can figure out why the [automatically-tag-and-release-this-commit]
magic comment didn't do anything, or how to poke CI to get it to make the release?
ah this ran afoul of the github actions issues today, the CI for the merge commit didn't complete and didn't make it to the "push tags" step. Retrying that CI though should work (I'll leave that to you for tomorrow though)
Thanks Alex! I couldn't find the right run to poke when I was looking yesterday, for some reason, but it seems to have worked now. :tada:
Jamey Sharp has marked this topic as resolved.
Last updated: Dec 23 2024 at 14:03 UTC