Stream: t-compiler/wg-prioritization

Topic: pre-meeting triage 2020-04-23 #54818


Santiago Pastorino (Apr 22 2020 at 18:02, on Zulip):

The @WG-prioritization will be doing pre-triage in this channel.

DPC (Apr 22 2020 at 18:03, on Zulip):

o/

LeSeulArtichaut (Apr 22 2020 at 18:04, on Zulip):

We won’t have as much work now that we prioritize issues async :slight_smile:

Santiago Pastorino (Apr 22 2020 at 18:06, on Zulip):

Here #t-compiler > weekly meeting 2020-04-23 #54818 we have a link to where the weekly meeting is going to happen

Santiago Pastorino (Apr 22 2020 at 18:06, on Zulip):

Create Agenda

Santiago Pastorino (Apr 22 2020 at 18:06, on Zulip):

Create a hackmd document with the agenda for the Triage Meeting.
Here is the meeting template.

Santiago Pastorino (Apr 22 2020 at 18:06, on Zulip):

doing that

Santiago Pastorino (Apr 22 2020 at 18:07, on Zulip):

Meeting agenda

DPC (Apr 22 2020 at 18:07, on Zulip):

maybe we could move to pre-meeting agendas xD

LeSeulArtichaut (Apr 22 2020 at 18:08, on Zulip):

Let’s have a pre-pre-meeting to prepare the pre-meeting agenda :laughing:

Santiago Pastorino (Apr 22 2020 at 18:08, on Zulip):

DPC said:

maybe we could move to pre-meeting agendas xD

I wouldn't because part of the process we do here is just building the agenda :)

Santiago Pastorino (Apr 22 2020 at 18:08, on Zulip):

this first step is just clicking the create button

Santiago Pastorino (Apr 22 2020 at 18:09, on Zulip):

anyway, let's get this started

DPC (Apr 22 2020 at 18:09, on Zulip):

ah i see it now :slight_smile: nevermind

Santiago Pastorino (Apr 22 2020 at 18:09, on Zulip):

Remove leftovers

Santiago Pastorino (Apr 22 2020 at 18:09, on Zulip):
  1. Unnominate leftover I-nominated
    - Remove I-nominated tag from issues discussed on the last meeting.
Santiago Pastorino (Apr 22 2020 at 18:09, on Zulip):

this could probably be done async

Santiago Pastorino (Apr 22 2020 at 18:09, on Zulip):

and it's a task that is a pain to do to be honest :)

Santiago Pastorino (Apr 22 2020 at 18:10, on Zulip):

but we don't want to keep things nominated that are already discussed so we must do it, it's just that async would probably be better

Santiago Pastorino (Apr 22 2020 at 18:10, on Zulip):

anyway ...

Santiago Pastorino (Apr 22 2020 at 18:11, on Zulip):

this were our last week nominations

Santiago Pastorino (Apr 22 2020 at 18:11, on Zulip):
Santiago Pastorino (Apr 22 2020 at 18:12, on Zulip):

#70928 is again in the list and I'm pretty sure we don't want to discuss that :)

Santiago Pastorino (Apr 22 2020 at 18:12, on Zulip):

#70453 is also again in the list

Santiago Pastorino (Apr 22 2020 at 18:13, on Zulip):

#70761 is not

pnkfelix (Apr 22 2020 at 18:13, on Zulip):

Santiago Pastorino said:

but we don't want to keep things nominated that are already discussed so we must do it, it's just that async would probably be better

obviously it would be ideal if I learned to unnominate issues during the meeting itself, but I'm usually so focused on driving the meeting forward that I don't do it

Santiago Pastorino (Apr 22 2020 at 18:13, on Zulip):

so, I'd just check last meeting's discussion just in case to see what do we want to do with those that keep nominated

pnkfelix (Apr 22 2020 at 18:13, on Zulip):

(but a bot to assist the meeting could help with this, right?)

Santiago Pastorino (Apr 22 2020 at 18:13, on Zulip):

pnkfelix said:

Santiago Pastorino said:

but we don't want to keep things nominated that are already discussed so we must do it, it's just that async would probably be better

obviously it would be ideal if I learned to unnominate issues during the meeting itself, but I'm usually so focused on driving the meeting forward that I don't do it

yes, this makes sense, it happens the same to me :)

LeSeulArtichaut (Apr 22 2020 at 18:14, on Zulip):

(but a bot to assist the meeting could help with this, right?)

:rolling_eyes:

Santiago Pastorino (Apr 22 2020 at 18:14, on Zulip):

maybe just for the sake of clarity and for now, meanwhile we don't have a bot, what if after finishing the discussion you say @WG-prioritization please unnominate this one

Santiago Pastorino (Apr 22 2020 at 18:15, on Zulip):

like pretend the wg is the bot and accept unimplemented requests :)

LeSeulArtichaut (Apr 22 2020 at 18:15, on Zulip):

Or have a slave to do so

Santiago Pastorino (Apr 22 2020 at 18:15, on Zulip):

as long as the request is not bake a cake for your kids, we would be fine I think :P

Santiago Pastorino (Apr 22 2020 at 18:17, on Zulip):

I could totally bake a cake, the problem would be shipping it to US

pnkfelix (Apr 22 2020 at 18:18, on Zulip):

on the topic of #70928 itself

pnkfelix (Apr 22 2020 at 18:18, on Zulip):

There is ongoing discussion on that PR of what names we might actually choose for a renaming

pnkfelix (Apr 22 2020 at 18:18, on Zulip):

the PR itself will not land as is

pnkfelix (Apr 22 2020 at 18:19, on Zulip):

so my meta-question is: Is github the right place for that kind of bikeshedding discussion?

pnkfelix (Apr 22 2020 at 18:19, on Zulip):

If so, then I guess the status quo is fine (with the discussion going on there)

pnkfelix (Apr 22 2020 at 18:19, on Zulip):

(and we may want to still mention PR #70928 at the meeting itself, just to remind people that a discussion is ongoing)

Santiago Pastorino (Apr 22 2020 at 18:20, on Zulip):

ok, let me re-nominate with that clear purpose then.

pnkfelix (Apr 22 2020 at 18:20, on Zulip):

but if github is not the right place to be having that bikeshed discussion

Santiago Pastorino (Apr 22 2020 at 18:20, on Zulip):

I guess we could also create a topic on zulip but the nomination and mentioning it during the meeting would be ok too

pnkfelix (Apr 22 2020 at 18:20, on Zulip):

then someone (us? T-Compiler? someone else?) should figure out the right venue for that discussion, and we should close that PR tout suite

pnkfelix (Apr 22 2020 at 18:21, on Zulip):

yeah I don't know what would be best

pnkfelix (Apr 22 2020 at 18:21, on Zulip):

It doesn't seem worth a design meeting

pnkfelix (Apr 22 2020 at 18:21, on Zulip):

maybe Zulip is indeed the answer.

Santiago Pastorino (Apr 22 2020 at 18:21, on Zulip):

let's mention it tomorrow and see, I guess @eddyb was one of the interested ones so my guess is he will try to have that discussion

pnkfelix (Apr 22 2020 at 18:22, on Zulip):

yes, okay, maybe make the plan be to mention PR #70928 in the meeting tomorrow, and explicitly suggest that the discussion there be migrated to zulip at that time

pnkfelix (Apr 22 2020 at 18:22, on Zulip):

so that we can close the PR (with a link to the ongoing discussion) and move on with our lives

pnkfelix (Apr 22 2020 at 18:22, on Zulip):

(another option, I just realized, would be to allocate a Major Change Proposal Issue for this...)

pnkfelix (Apr 22 2020 at 18:22, on Zulip):

(but lets debate that at tomorrow's meeting.)

Santiago Pastorino (Apr 22 2020 at 18:23, on Zulip):

:+1:, that section is done then

pnkfelix (Apr 22 2020 at 18:23, on Zulip):

and above all, try to limit the actual discussion of PR #70928 in the meeting itself tomorrow. :slight_smile:

LeSeulArtichaut (Apr 22 2020 at 18:23, on Zulip):

Most importantly, did you mean tout de suite? x)

Santiago Pastorino (Apr 22 2020 at 18:24, on Zulip):
  1. Remove leftover I-prioritize
    - Remove I-prioritize tag from already prioritized issues.
Santiago Pastorino (Apr 22 2020 at 18:24, on Zulip):

that's empty

Santiago Pastorino (Apr 22 2020 at 18:24, on Zulip):

Unprioritized I-prioritize

Santiago Pastorino (Apr 22 2020 at 18:24, on Zulip):

Go over unprioritized I-prioritize issues. We should also go over I-nominated meanwhile we migrate, we were using I-nominated sometimes as an implicit request for prioritization.

Santiago Pastorino (Apr 22 2020 at 18:25, on Zulip):
  1. No team assigned and No team assigned I-nominated
    - Add T-compiler tag when it corresponds.
Santiago Pastorino (Apr 22 2020 at 18:25, on Zulip):

both empty as expected

o0Ignition0o - Jeremy Lempereur (Apr 22 2020 at 18:25, on Zulip):

awesome

Santiago Pastorino (Apr 22 2020 at 18:25, on Zulip):
  1. T-compiler and T-compiler I-nominated
    - Prioritize issues and remove nomination of the ones not worth discussing.
    - Tag regressions accordingly.
    - Ping appropriate people and/or ICE-breakers.
Santiago Pastorino (Apr 22 2020 at 18:25, on Zulip):

there are two nominated

Santiago Pastorino (Apr 22 2020 at 18:26, on Zulip):

ok but unrelated to prioritization

Santiago Pastorino (Apr 22 2020 at 18:26, on Zulip):

although both issues are unprioritized but there's no request for prioritization either

Santiago Pastorino (Apr 22 2020 at 18:27, on Zulip):

let's move on

Santiago Pastorino (Apr 22 2020 at 18:27, on Zulip):
  1. All teams and All teams I-nominated
    - No action required. It's nice to look at this for comparison.
Santiago Pastorino (Apr 22 2020 at 18:27, on Zulip):

ok nothing to do there either

Santiago Pastorino (Apr 22 2020 at 18:28, on Zulip):

just in case and for clarification

Santiago Pastorino (Apr 22 2020 at 18:28, on Zulip):

all these lists shouldn't have I-nominated search, I left those just in case meanwhile we were migrating to I-prioritize people were still using I-nominated

Santiago Pastorino (Apr 22 2020 at 18:28, on Zulip):

but I guess it's time to remove that and in any case those will be catched when we review nominations

Santiago Pastorino (Apr 22 2020 at 18:29, on Zulip):

done then

Santiago Pastorino (Apr 22 2020 at 18:29, on Zulip):

Regressions

Santiago Pastorino (Apr 22 2020 at 18:29, on Zulip):
  1. Beta regressions without P-label
    - Prioritize.
    - Ping appropriate people and/or ICE-breakers.
    - Assign if possible; if it remains unassigned, add it to agenda so we can assign during the meeting.
Santiago Pastorino (Apr 22 2020 at 18:29, on Zulip):

empty

Santiago Pastorino (Apr 22 2020 at 18:29, on Zulip):
  1. Nightly regressions without P-label
    - Prioritize.
    - Ping appropriate people and/or ICE-breakers.
    - Assign if possible; if it remains unassigned, add it to agenda so we can assign during the meeting.
Santiago Pastorino (Apr 22 2020 at 18:30, on Zulip):

there's one and it's not prioritized

Santiago Pastorino (Apr 22 2020 at 18:30, on Zulip):

#71363, let's prioritize this one

o0Ignition0o - Jeremy Lempereur (Apr 22 2020 at 18:31, on Zulip):

super low :p

o0Ignition0o - Jeremy Lempereur (Apr 22 2020 at 18:31, on Zulip):

aiui it s a display issue, but there might be tools that rely on that behavior somehow ?

LeSeulArtichaut (Apr 22 2020 at 18:31, on Zulip):

Some tools might rely on that though

Santiago Pastorino (Apr 22 2020 at 18:31, on Zulip):

pinged cleanup crew

Santiago Pastorino (Apr 22 2020 at 18:32, on Zulip):

it's also a regression

o0Ignition0o - Jeremy Lempereur (Apr 22 2020 at 18:32, on Zulip):

ok just so you know, i ll probably use our decision in my documentation about prioritisation

Santiago Pastorino (Apr 22 2020 at 18:34, on Zulip):

anyway I guess this is low too

Santiago Pastorino (Apr 22 2020 at 18:34, on Zulip):

would say P-low anyway

Santiago Pastorino (Apr 22 2020 at 18:34, on Zulip):

thoughts?

LeSeulArtichaut (Apr 22 2020 at 18:35, on Zulip):

I’d go for P-low until we have any complaints from tools maintainers

Santiago Pastorino (Apr 22 2020 at 18:36, on Zulip):

Beta nominations

Santiago Pastorino (Apr 22 2020 at 18:36, on Zulip):
  1. No team assigned
    - Add T-compiler tag when it corresponds.
Santiago Pastorino (Apr 22 2020 at 18:36, on Zulip):

empty

Santiago Pastorino (Apr 22 2020 at 18:36, on Zulip):
  1. All teams
    - Add T-compiler tag when it corresponds.
Santiago Pastorino (Apr 22 2020 at 18:37, on Zulip):

there's one but already beta-accepted

Santiago Pastorino (Apr 22 2020 at 18:37, on Zulip):
  1. T-compiler
    - Add these issues to the meeting agenda.
Santiago Pastorino (Apr 22 2020 at 18:37, on Zulip):

should be empty too :)

Santiago Pastorino (Apr 22 2020 at 18:37, on Zulip):

and it is

Santiago Pastorino (Apr 22 2020 at 18:37, on Zulip):

Stable nominations

Santiago Pastorino (Apr 22 2020 at 18:37, on Zulip):
  1. No team assigned
    - Add T-compiler tag when it corresponds.
LeSeulArtichaut (Apr 22 2020 at 18:38, on Zulip):

It’s good when everything goes as expected, right? x)

Santiago Pastorino (Apr 22 2020 at 18:38, on Zulip):

yep :)

Santiago Pastorino (Apr 22 2020 at 18:38, on Zulip):

that one is empty

Santiago Pastorino (Apr 22 2020 at 18:38, on Zulip):

yeah, given that the release is tomorrow I wouldn't expect too much here :)

Santiago Pastorino (Apr 22 2020 at 18:38, on Zulip):
  1. All teams
    - Add T-compiler tag when it corresponds.
Santiago Pastorino (Apr 22 2020 at 18:38, on Zulip):

there's one but already stable-accepted

Santiago Pastorino (Apr 22 2020 at 18:38, on Zulip):
  1. T-compiler
    - Add these issues to the meeting agenda.
Santiago Pastorino (Apr 22 2020 at 18:39, on Zulip):

if there's nothing in all there's nothing here :)

Santiago Pastorino (Apr 22 2020 at 18:39, on Zulip):

PR's waiting for our team

Santiago Pastorino (Apr 22 2020 at 18:39, on Zulip):
Santiago Pastorino (Apr 22 2020 at 18:39, on Zulip):

there are 2 in disposition to merge

Santiago Pastorino (Apr 22 2020 at 18:39, on Zulip):

adding those to the meeting agenda

Santiago Pastorino (Apr 22 2020 at 18:41, on Zulip):

done

Santiago Pastorino (Apr 22 2020 at 18:41, on Zulip):

Critical and High priority issues

Santiago Pastorino (Apr 22 2020 at 18:41, on Zulip):
Santiago Pastorino (Apr 22 2020 at 18:42, on Zulip):

there's one assigned to oli

Wesley Wiser (Apr 22 2020 at 18:43, on Zulip):

(It's the only P-critical issue, which seems like a success to me that it's being resolved so soon)

Santiago Pastorino (Apr 22 2020 at 18:43, on Zulip):

noted that in the agenda

Santiago Pastorino (Apr 22 2020 at 18:44, on Zulip):

@Wesley Wiser yeah, this has a PR but also one good discussion is ... should this go into tomorrow's stable?

Santiago Pastorino (Apr 22 2020 at 18:44, on Zulip):

should we block until is fixed? what should we do?

Wesley Wiser (Apr 22 2020 at 18:44, on Zulip):

No, I think we've missed the boat for this release.

Wesley Wiser (Apr 22 2020 at 18:45, on Zulip):

(IMO)

Santiago Pastorino (Apr 22 2020 at 18:45, on Zulip):

cc @pnkfelix

Santiago Pastorino (Apr 22 2020 at 18:45, on Zulip):

let's continue meanwhile ...

Santiago Pastorino (Apr 22 2020 at 18:45, on Zulip):
Wesley Wiser (Apr 22 2020 at 18:45, on Zulip):

When we marked it P-critical, it was with the hope it would be fixed soon but not necessarily before tomorrow.

Santiago Pastorino (Apr 22 2020 at 18:45, on Zulip):

yeah, true

Santiago Pastorino (Apr 22 2020 at 18:46, on Zulip):

Santiago Pastorino said:

added this stuff to the agenda

Santiago Pastorino (Apr 22 2020 at 18:47, on Zulip):

given that the agenda doesn't seem to be very packed we may want to look for P-high issues to nominate for discussion

Santiago Pastorino (Apr 22 2020 at 18:48, on Zulip):

let's continue but if someone see something on P-high that may worth discussing please comment

Santiago Pastorino (Apr 22 2020 at 18:48, on Zulip):

Stable to beta regressions

Santiago Pastorino (Apr 22 2020 at 18:48, on Zulip):
Santiago Pastorino (Apr 22 2020 at 18:50, on Zulip):

going to add stuff to the agenda

Santiago Pastorino (Apr 22 2020 at 18:50, on Zulip):

do we think there's some issue worth raising awareness?

o0Ignition0o - Jeremy Lempereur (Apr 22 2020 at 18:51, on Zulip):

nope

Santiago Pastorino (Apr 22 2020 at 18:53, on Zulip):

:+1:

Santiago Pastorino (Apr 22 2020 at 18:53, on Zulip):

added everything to the agenda

Santiago Pastorino (Apr 22 2020 at 18:53, on Zulip):

Stable to nightly regressions

Santiago Pastorino (Apr 22 2020 at 18:53, on Zulip):
Santiago Pastorino (Apr 22 2020 at 18:55, on Zulip):

added everything to the agenda

Santiago Pastorino (Apr 22 2020 at 18:55, on Zulip):

there's only 2 P-high assigned, one P-high is not assigned and the rest neither

Santiago Pastorino (Apr 22 2020 at 18:56, on Zulip):

#71344 is not assigned

Santiago Pastorino (Apr 22 2020 at 18:57, on Zulip):

maybe worth nominating? or we can just mention when we mention regressions that this P-high is not assigned

o0Ignition0o - Jeremy Lempereur (Apr 22 2020 at 18:58, on Zulip):

ok so aiui eddyb was mentionned 2 days ago, and he ll be here tomorrow, maybe we can ask them ?

Santiago Pastorino (Apr 22 2020 at 18:58, on Zulip):

added to the agenda that is not assigned

Santiago Pastorino (Apr 22 2020 at 18:58, on Zulip):

but yeah, in some way or another we are going to mention it

Santiago Pastorino (Apr 22 2020 at 18:58, on Zulip):

Stable to stable regressions

Santiago Pastorino (Apr 22 2020 at 18:59, on Zulip):
Santiago Pastorino (Apr 22 2020 at 18:59, on Zulip):

69 issues, 24 unassigned

Santiago Pastorino (Apr 22 2020 at 18:59, on Zulip):

going to add this to the agenda

pnkfelix (Apr 22 2020 at 19:00, on Zulip):

Santiago Pastorino said:

Wesley Wiser yeah, this has a PR but also one good discussion is ... should this go into tomorrow's stable?

(playing catch up here: I think the only question I can see regarding PR #71140 is whether it should be beta-nominated or not...)

pnkfelix (Apr 22 2020 at 19:00, on Zulip):

And my answer sort of depends on when the nightly-to-beta promotion happens

pnkfelix (Apr 22 2020 at 19:00, on Zulip):

namely, if PR #71140 lands before the promotion, then beta-nomination is pointless

Santiago Pastorino (Apr 22 2020 at 19:01, on Zulip):

exactly

Santiago Pastorino (Apr 22 2020 at 19:01, on Zulip):

maybe we can mention that tomorrow

pnkfelix (Apr 22 2020 at 19:01, on Zulip):

so lets just let it sit

pnkfelix (Apr 22 2020 at 19:01, on Zulip):

yeah I agree, we can mention it when we discuss it at the meeting tomorrow

Santiago Pastorino (Apr 22 2020 at 19:01, on Zulip):

because we will list the P-critical issues

Santiago Pastorino (Apr 22 2020 at 19:05, on Zulip):

I-nominated T-compiler

Santiago Pastorino (Apr 22 2020 at 19:05, on Zulip):
Santiago Pastorino (Apr 22 2020 at 19:08, on Zulip):

going to start adding items to the agenda

Santiago Pastorino (Apr 22 2020 at 19:08, on Zulip):

but we need to check all that's nominated

Santiago Pastorino (Apr 22 2020 at 19:12, on Zulip):

done

Santiago Pastorino (Apr 22 2020 at 19:12, on Zulip):

all are added to the agenda

Santiago Pastorino (Apr 22 2020 at 19:13, on Zulip):

Announcements

Santiago Pastorino (Apr 22 2020 at 19:13, on Zulip):
Santiago Pastorino (Apr 22 2020 at 19:13, on Zulip):

one of the announcements is that the release is happening :)

Santiago Pastorino (Apr 22 2020 at 19:14, on Zulip):

we will have Compiler-team meeting: Standard library implementation ownership on friday

Santiago Pastorino (Apr 22 2020 at 19:17, on Zulip):

there are also 5 things to-announce on the compiler-team repo

Santiago Pastorino (Apr 22 2020 at 19:18, on Zulip):

I'm not sure I got this to-announce idea right

Santiago Pastorino (Apr 22 2020 at 19:18, on Zulip):

we would be announcing that there are some major changes proposals?

Santiago Pastorino (Apr 22 2020 at 19:19, on Zulip):

are the announcements in general related to that?

Santiago Pastorino (Apr 22 2020 at 19:19, on Zulip):

cc @simulacrum

o0Ignition0o - Jeremy Lempereur (Apr 22 2020 at 19:19, on Zulip):

got a link that explains what to announce means ?

simulacrum (Apr 22 2020 at 19:20, on Zulip):

yeah so the idea is to basically name-drop a bunch of links

simulacrum (Apr 22 2020 at 19:20, on Zulip):

we want t-compiler to be aware of ongoing major change proposals

simulacrum (Apr 22 2020 at 19:20, on Zulip):

I think the announcements time is a good time

Santiago Pastorino (Apr 22 2020 at 19:22, on Zulip):

yep :+1:

Santiago Pastorino (Apr 22 2020 at 19:22, on Zulip):

done

Santiago Pastorino (Apr 22 2020 at 19:22, on Zulip):

Toolstate

Santiago Pastorino (Apr 22 2020 at 19:23, on Zulip):
pnkfelix (Apr 22 2020 at 19:23, on Zulip):

given that the release is tomorrow, there should be no such breakage right now, right?

Santiago Pastorino (Apr 22 2020 at 19:23, on Zulip):

it shouldn't I guess :)

Santiago Pastorino (Apr 22 2020 at 19:23, on Zulip):

well miri is on build-fail

Wesley Wiser (Apr 22 2020 at 19:24, on Zulip):

I think there's a PR pending

Wesley Wiser (Apr 22 2020 at 19:24, on Zulip):

uhh there was this morning

Santiago Pastorino (Apr 22 2020 at 19:24, on Zulip):

#71343 ?

Wesley Wiser (Apr 22 2020 at 19:25, on Zulip):

I was thinking of the one that fixed cargo and rls

Santiago Pastorino (Apr 22 2020 at 19:26, on Zulip):

@simulacrum, ideas?

Santiago Pastorino (Apr 22 2020 at 19:26, on Zulip):

unsure why did RalfJ r- that one

Wesley Wiser (Apr 22 2020 at 19:26, on Zulip):

I'm not sure what #71343 is waiting on...

Wesley Wiser (Apr 22 2020 at 19:26, on Zulip):

Yeah his comment doesn't make sense to me

Wesley Wiser (Apr 22 2020 at 19:28, on Zulip):

I know we posted a preview of tomorrow's release. Did that include miri?

Santiago Pastorino (Apr 22 2020 at 19:28, on Zulip):

commented

Santiago Pastorino (Apr 22 2020 at 19:29, on Zulip):

I have no idea what happens in situations like this :)

Santiago Pastorino (Apr 22 2020 at 19:29, on Zulip):

Performance regressions

Santiago Pastorino (Apr 22 2020 at 19:29, on Zulip):

Check perf regressions.

Santiago Pastorino (Apr 22 2020 at 19:29, on Zulip):

Santiago Pastorino said:

I have no idea what happens in situations like this :)

I guess as part of T-release process they would do something about it :)

simulacrum (Apr 22 2020 at 19:30, on Zulip):

miri isn't a blocker for release

simulacrum (Apr 22 2020 at 19:31, on Zulip):

we don't gate on it shipping for beta/stable

Santiago Pastorino (Apr 22 2020 at 19:31, on Zulip):

Santiago Pastorino said:

Check perf regressions.

there's nothing new I see

Santiago Pastorino (Apr 22 2020 at 19:31, on Zulip):

do people see something that worth discussing?

DPC (Apr 22 2020 at 19:33, on Zulip):

given that the release is tomorrow, there should be no such breakage right now, right?

yep nothing is breaking because CI blocks if toolstate fails

Santiago Pastorino (Apr 22 2020 at 19:35, on Zulip):

ok, I guess this is all

Santiago Pastorino (Apr 22 2020 at 19:35, on Zulip):

I'm going to review some stuff and check out agenda again, left some comments and things not well shaped

Santiago Pastorino (Apr 22 2020 at 19:36, on Zulip):

btw, we need a bot to run these meetings, manually having to do this process is a pain :)

Santiago Pastorino (Apr 22 2020 at 19:37, on Zulip):

cc @LeSeulArtichaut :slight_smile:

Santiago Pastorino (Apr 22 2020 at 19:37, on Zulip):

but seriously, unsure if you @LeSeulArtichaut have checked something, I may get started coding this at some point :)

Wesley Wiser (Apr 22 2020 at 19:40, on Zulip):

Santiago Pastorino said:

do people see something that worth discussing?

There is a regression in wf-projection-stress but there's a PR that's supposed to fix most of it. The rest looks like a lot of small-medium improvements :tada:

Santiago Pastorino (Apr 22 2020 at 21:47, on Zulip):

just gave another look at the agenda, it's almost final https://hackmd.io/sUmyIVXkSvmLzy7KKKjExg?view

Santiago Pastorino (Apr 22 2020 at 21:47, on Zulip):

@WG-prioritization please check it out

Santiago Pastorino (Apr 22 2020 at 21:47, on Zulip):

I need to revisit the nominations, there are nominations for T-lang that for now I left there but I need to properly read the issues

Santiago Pastorino (Apr 22 2020 at 21:48, on Zulip):

I meant, it may worth leaving those and mentioning just in case?

LeSeulArtichaut (Apr 22 2020 at 21:55, on Zulip):

@Santiago Pastorino what should we do with #71441

LeSeulArtichaut (Apr 22 2020 at 21:55, on Zulip):

Should we beta-nominate it for tomorrow’s meeting?

Santiago Pastorino (Apr 22 2020 at 22:30, on Zulip):

I'd just nominate this one for discussion

Last update: Jun 05 2020 at 23:10UTC