Stream: general

Topic: "shipping" miri


RalfJ (Mar 28 2019 at 13:43, on Zulip):

@cuviper on reddit, you wrote

We discussed this in the release team meeting today. It's not our place to decide whether it's stable, but we decided it's fine to let it ship before that as miri-preview.

what does "ship" mean here, does it include beta+stable?

centril (Mar 28 2019 at 13:46, on Zulip):

Essentially

centril (Mar 28 2019 at 13:46, on Zulip):

Shipping on stable depends on what stability for miri means

centril (Mar 28 2019 at 13:46, on Zulip):

what can we break, we can we not

RalfJ (Mar 28 2019 at 13:47, on Zulip):

currently the answer is "we can break everything"

centril (Mar 28 2019 at 13:47, on Zulip):

Depending on the answer to that, it may or not require T-Lang's involvement

RalfJ (Mar 28 2019 at 13:47, on Zulip):

I dont think we are ready to make any promises here

RalfJ (Mar 28 2019 at 13:47, on Zulip):

which is why I expected this to be nightly-only

centril (Mar 28 2019 at 13:48, on Zulip):

@RalfJ I think it should be nightly only for now

cuviper (Mar 28 2019 at 15:40, on Zulip):

yeah, I mean including it in the release -- so stable would have the miri-preview component available

cuviper (Mar 28 2019 at 15:41, on Zulip):

but if you think it's not even ready for that, then I think we'll have to actively restrict it from the build manifest

cuviper (Mar 28 2019 at 15:42, on Zulip):

IMO breaking changes are still fine while it's "preview"

RalfJ (Mar 29 2019 at 09:29, on Zulip):

I'll leave that up to you, as long as we can change literally anything about miri and cargo-miri any time (including the CLI interface and so on)

Last update: Nov 21 2019 at 23:55UTC