Stream: t-compiler/wg-prioritization

Topic: I-prioritize #71202 ICE when using const evaluation


triagebot (Apr 16 2020 at 14:55, on Zulip):

@WG-prioritization issue #71202 has been requested for prioritization.

Santiago Pastorino (Apr 17 2020 at 20:00, on Zulip):

we need to prioritize this one

Santiago Pastorino (Apr 17 2020 at 20:00, on Zulip):

going to check in a bit

Wesley Wiser (Apr 17 2020 at 20:46, on Zulip):

This ICE's all the way back to 1.21

Wesley Wiser (Apr 17 2020 at 20:47, on Zulip):

Seems P-medium to me

Santiago Pastorino (Apr 21 2020 at 15:38, on Zulip):

going with P-medium then

Santiago Pastorino (Apr 21 2020 at 15:39, on Zulip):

Github labelling doesn't seem to be working, will wait a bit until tagging

DPC (Apr 21 2020 at 15:39, on Zulip):

yeh

LeSeulArtichaut (Apr 21 2020 at 15:39, on Zulip):

The COVID striked again? :confused:

Santiago Pastorino (Apr 21 2020 at 15:40, on Zulip):

are you experimenting the same?

Santiago Pastorino (Apr 21 2020 at 15:40, on Zulip):

we can do some stuff using triagebot maybe :P

LeSeulArtichaut (Apr 21 2020 at 15:40, on Zulip):

Santiago Pastorino said:

are you experimenting the same?

Yes, I tried too

Santiago Pastorino (Apr 21 2020 at 15:40, on Zulip):

ok, now getting 500

LeSeulArtichaut (Apr 21 2020 at 15:40, on Zulip):

When trying to send a message?

DPC (Apr 21 2020 at 15:40, on Zulip):

when changing labels

Santiago Pastorino (Apr 21 2020 at 15:41, on Zulip):

500 when accessing the issue, hehe

Santiago Pastorino (Apr 21 2020 at 15:41, on Zulip):

just reloading

LeSeulArtichaut (Apr 21 2020 at 15:41, on Zulip):

Yikes

DPC (Apr 21 2020 at 15:42, on Zulip):

will do it later

LeSeulArtichaut (Apr 21 2020 at 15:43, on Zulip):

https://www.githubstatus.com/

No incidents reported today.

Not yet...

DPC (Apr 21 2020 at 15:45, on Zulip):

image.png

LeSeulArtichaut (Apr 21 2020 at 15:45, on Zulip):

More like: all services are degraded :confused:

bjorn3 (Apr 21 2020 at 15:46, on Zulip):

I am pretty sure there is a service that still works. :smiley:

bjorn3 (Apr 21 2020 at 15:47, on Zulip):

:unicorn:

LeSeulArtichaut (Apr 21 2020 at 15:47, on Zulip):

Well "Issues, PRs, Projects" is marked as normal

LeSeulArtichaut (Apr 21 2020 at 15:47, on Zulip):

But it doesn't seem true :eyes:

bjorn3 (Apr 21 2020 at 15:55, on Zulip):

image.png

This time I didn't even get a :unicorn:

DPC (Apr 21 2020 at 16:01, on Zulip):

yeah the status one xD

DPC (Apr 21 2020 at 16:01, on Zulip):

thankfully this didn't happen during a triage meeting :D

LeSeulArtichaut (Apr 21 2020 at 16:02, on Zulip):

:fingers_crossed:

LeSeulArtichaut (Apr 21 2020 at 16:02, on Zulip):

That's also why doing prioritization async is nice :slight_smile:

LeSeulArtichaut (Apr 21 2020 at 16:03, on Zulip):

Update - We are continuing to investigate degradations in GitHub.com services.

They needed to reassure us :D

DPC (Apr 21 2020 at 16:22, on Zulip):

made the changes

DPC (Apr 21 2020 at 16:23, on Zulip):

image.png

triagebot (Apr 21 2020 at 16:27, on Zulip):

Issue #71202's prioritization request has been removed.

DPC (Apr 21 2020 at 16:50, on Zulip):

ah finally :D

LeSeulArtichaut (Apr 21 2020 at 17:06, on Zulip):

Nice :slight_smile:

Last update: Jun 05 2020 at 23:00UTC