Stream: git-wasmtime

Topic: wasmtime / issue #5144 [2.0.0] Fix the `push-tag` workflo...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 27 2022 at 14:56):

alexcrichton commented on issue #5144:

Upon merging this it'll retrigger the tag to hopefully get a v2.0.1 tag this time and not a v tag as was mistakenly produced prior.


Last updated: Dec 23 2024 at 12:05 UTC