Stream: git-wasmtime

Topic: wasmtime / issue #6766 install.sh existing version detection


view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2023 at 07:50):

TheEdward162 opened issue #6766:

I've opened a PR into wasmtime.dev where the install.sh script lives, but so far nobody has interacted with the PR, so I'm wondering if this might be a better place to get someone's attention about it.

There PR is here https://github.com/bytecodealliance/wasmtime.dev/pull/17 - it fixes the upgrade_is_ok function inside the script to correctly detect an existing installation.

Is this something worth pursuing?

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2023 at 16:46):

jameysharp commented on issue #6766:

Thank you for bringing this up! I've merged your PR there. It seems we need a better plan for keeping an eye on issues and PRs in that repo.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 25 2023 at 16:46):

jameysharp closed issue #6766:

I've opened a PR into wasmtime.dev where the install.sh script lives, but so far nobody has interacted with the PR, so I'm wondering if this might be a better place to get someone's attention about it.

There PR is here https://github.com/bytecodealliance/wasmtime.dev/pull/17 - it fixes the upgrade_is_ok function inside the script to correctly detect an existing installation.

Is this something worth pursuing?


Last updated: Dec 23 2024 at 12:05 UTC