Stream: git-wasmtime

Topic: wasmtime / PR #2031 ci: pin Rust nightly to 2020-07-13 to...

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

bnjbvr edited PR #2031 from ci-pin-rust-nightly-07-15 to main.

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

alexcrichton submitted PR Review.

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

bnjbvr updated PR #2031 from ci-pin-rust-nightly-07-15 to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 16 2020 at 14:21):

bnjbvr updated PR #2031 from ci-pin-rust-nightly-07-15 to main.

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

bnjbvr closed without merge PR #2031.

Last updated: Nov 22 2024 at 17:03 UTC