Jamey Sharp (Jun 13 2023 at 00:59): Jamey Sharp (Jun 13 2023 at 00:59):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?
Alex Crichton (Jun 13 2023 at 01:18):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)
Jamey Sharp (Jun 13 2023 at 16:32):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:
Notification Bot (Jun 13 2023 at 16:32):Jamey Sharp has marked this topic as resolved.
Last updated: Nov 22 2024 at 16:03 UTC