Stream: t-compiler/wg-prioritization/alerts

Topic: #80375 ICE: compiler/rustc_middle/src/ty/subst.rs:568:17: c…


triagebot (Dec 26 2020 at 14:57, on Zulip):

@WG-prioritization/alerts issue #80375 has been requested for prioritization.

Procedure

Ryan Levick (Dec 30 2020 at 11:10, on Zulip):

This issue was closed. Shall we change triagebot to note when issues are closed?

triagebot (Dec 30 2020 at 11:48, on Zulip):

Issue #80375's prioritization request has been removed.

Camelid (Dec 31 2020 at 00:44, on Zulip):

Ryan Levick said:

This issue was closed. Shall we change triagebot to note when issues are closed?

Sounds like a good idea. I can try implementing it.

Camelid (Dec 31 2020 at 00:44, on Zulip):

(Or you can if you would like to try!)

Léo Lanteri Thauvin (Dec 31 2020 at 00:45, on Zulip):

Didn't we try this in the past? Or at least discuss it?

Léo Lanteri Thauvin (Dec 31 2020 at 00:45, on Zulip):

Sounds familiar to me, I don't know why :D

Camelid (Dec 31 2020 at 01:10, on Zulip):

Well I just implemented it so we'll see if it works :laughing:

Camelid (Dec 31 2020 at 01:13, on Zulip):

PR: triagebot#1078

apiraino (Dec 31 2020 at 01:31, on Zulip):

@Camelid config.message_on_close sends a notification to Zulip on every issue closed or only for those published here?

Léo Lanteri Thauvin (Dec 31 2020 at 01:32, on Zulip):

For those which currently have I-prioritize

Camelid (Dec 31 2020 at 01:32, on Zulip):

What Léo Lanteri Thauvin said :)

Léo Lanteri Thauvin (Dec 31 2020 at 01:32, on Zulip):

Doing that for every published one is harder, I think you'd need to maintain a database of issues etc

Camelid (Dec 31 2020 at 01:32, on Zulip):

Yeah, it will only happen for issues that currently have I-prioritize.

Léo Lanteri Thauvin (Dec 31 2020 at 01:32, on Zulip):

Here we just rely on GitHub :)

Camelid (Dec 31 2020 at 01:33, on Zulip):

Well triagebot does have a DB, it just doesn't use it here :)

Léo Lanteri Thauvin (Dec 31 2020 at 01:33, on Zulip):

We could do that in the future I guess

Camelid (Dec 31 2020 at 01:34, on Zulip):

Yeah, but I'm not sure if that would even be helpful.

Camelid (Dec 31 2020 at 01:34, on Zulip):

We would have already gotten the "request removed" message.

apiraino (Dec 31 2020 at 01:34, on Zulip):

ok thanks!

Léo Lanteri Thauvin (Dec 31 2020 at 01:34, on Zulip):

We could use that hook for P-critical issues maybe?

Léo Lanteri Thauvin (Dec 31 2020 at 01:35, on Zulip):

Mhh, not really useful actually

Léo Lanteri Thauvin (Dec 31 2020 at 01:35, on Zulip):

Maybe for reopened issues or something

Last update: Apr 16 2021 at 23:45UTC