Stream: t-compiler

Topic: toolstate broken


tmandry (Jul 10 2019 at 03:33, on Zulip):

ping @RalfJ, have you had a chance to look at why miri has been broken?

tmandry (Jul 10 2019 at 03:37, on Zulip):

/me wishes miri were built by bors before merging

simulacrum (Jul 10 2019 at 03:43, on Zulip):

there's an issue about it

simulacrum (Jul 10 2019 at 03:44, on Zulip):

https://github.com/rust-lang/rust/issues/62347

RalfJ (Jul 10 2019 at 06:50, on Zulip):

Miri is blocked on https://github.com/rust-lang/rust/pull/62441 being reviewed by someone

oli (Jul 10 2019 at 07:55, on Zulip):

Feel free to ping me on zulip for high priority things

oli (Jul 10 2019 at 07:56, on Zulip):

Github notifications have reached 1k in the backlog, so github pings are mostly useless ^^

Last update: Nov 22 2019 at 05:25UTC