Stream: git-wasmtime

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

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

alexcrichton opened PR #1503 from back-to-nightly to master:

Looks like proptest has been updated so we can move back to the
nightly channel rather than pinning.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 13 2020 at 19:33):

abrown submitted PR Review.

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

alexcrichton merged PR #1503.

Last updated: Nov 22 2024 at 16:03 UTC