Stream: git-wasmtime

Topic: wasmtime / PR #2032 ci: pin Rust nightly to 2020-07-12 to...

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

bnjbvr edited PR #2032 from ci-pin-rust-nightly-07-14 to main:

Alternative to #2031, if it still fails.

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 14:22):

bnjbvr closed without merge PR #2032.

Last updated: Oct 23 2024 at 20:03 UTC