Stream: general

Topic: toolstate on beta/stable?

RalfJ (Dec 07 2018 at 13:04, on Zulip):

@Pietro Albini is there any way to see the toolstate ( for the beta/stable branches?

Pietro Albini (Dec 07 2018 at 13:11, on Zulip):

I don't know, @kennytm ?

kennytm (Dec 07 2018 at 14:09, on Zulip):

the toolstate of Linux and Windows for these channels must always be test-pass. we'll fail the PR if the toolstate doesn't pass.

RalfJ (Dec 07 2018 at 15:31, on Zulip):

@kennytm that's not the case for miri though, is it?

kennytm (Dec 07 2018 at 15:32, on Zulip):

well yeah. if you need to know the toolstate you could check the travis / appveyor log of the "tools" build. the end of the log contains a JSON of the state of each tool

Last update: Jun 04 2020 at 17:45UTC