Stream: git-wasmtime

Topic: wasmtime / PR #2544 Try to fix CI

view this post on Zulip Wasmtime GitHub notifications bot (Jan 04 2021 at 20:20):

alexcrichton opened PR #2544 from fix-ci2 to main:

This is an attempt to work around rust-lang/rust#80703 to get CI green
again.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 04 2021 at 20:49):

cfallin submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 04 2021 at 20:50):

alexcrichton merged PR #2544.

Last updated: Dec 23 2024 at 13:07 UTC