Stream: git-wasmtime

Topic: wasmtime / PR #2014 Switch CI back to nightly channel

view this post on Zulip Wasmtime GitHub notifications bot (Jul 13 2020 at 18:09):

alexcrichton opened PR #2014 from back-to-nightly to main:

I think all upstream issues are now fixed so we should be good to switch
back to nightly from our previously pinned version.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 13 2020 at 20:01):

fitzgen submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 13 2020 at 20:15):

alexcrichton updated PR #2014 from back-to-nightly to main:

I think all upstream issues are now fixed so we should be good to switch
back to nightly from our previously pinned version.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 13 2020 at 22:11):

alexcrichton updated PR #2014 from back-to-nightly to main:

I think all upstream issues are now fixed so we should be good to switch
back to nightly from our previously pinned version.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 13 2020 at 22:31):

alexcrichton updated PR #2014 from back-to-nightly to main:

I think all upstream issues are now fixed so we should be good to switch
back to nightly from our previously pinned version.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 13 2020 at 23:40):

alexcrichton merged PR #2014.

Last updated: Nov 22 2024 at 16:03 UTC