Stream: git-wasmtime

Topic: wasmtime / PR #3421 Enhance the publish script to be idea...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 06 2021 at 19:15):

alexcrichton opened PR #3421 from update-publish-script to main:

This commit improves our small publish script for Wasmtime with the goal
of being able to run it on CI. This fixes a few issues with the current
script such as:

The eventual goal is to run this script on a tag automatically on CI so
we don't have to do it manually, and these changes should make the
script more robust to run on CI and also makes it so we can inspect
failure outputs and rerun it locally.

For now these changes aren't heavily tested since it's somewhat
difficult to do so, so for now I figure we'll need to babysit the next
release or two with this script.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Oct 06 2021 at 21:10):

peterhuene submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 07 2021 at 14:09):

alexcrichton merged PR #3421.


Last updated: Nov 22 2024 at 16:03 UTC