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

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

Miri is blocked on 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: May 24 2020 at 23:40UTC