Stream: general

Topic: crater


RalfJ (Sep 16 2019 at 10:21, on Zulip):

@eddyb

I can't spend too much time on this until the crater run finishes (I wish I never bothered with crater, it's so bad nowadays...)

I wonder if we could have "statistical crater" (randomly test a fraction of the things a normal crater run would test), and if that's any good?
Cc @Pietro Albini

eddyb (Sep 16 2019 at 10:22, on Zulip):

I'm waiting to get more capacity anyway

Pietro Albini (Sep 16 2019 at 10:22, on Zulip):

should get to that in a few days

eddyb (Sep 16 2019 at 10:22, on Zulip):

I think we're in a transitionary period

Pietro Albini (Sep 16 2019 at 10:22, on Zulip):

that => pinging the people who need to give us the capacity

Pietro Albini (Sep 16 2019 at 10:22, on Zulip):

don't expect a new builder tomorrow

eddyb (Sep 16 2019 at 10:23, on Zulip):

heh

eddyb (Sep 16 2019 at 10:23, on Zulip):

yeah I expect my rolled up run to finish before you get to talk to anyone

RalfJ (Sep 16 2019 at 10:28, on Zulip):

should get to that in a few days

awesome :)

Last update: Nov 20 2019 at 13:35UTC