Stream: Coq devs & plugin devs

Topic: ✔ needs:rebase checker not working?


view this post on Zulip Gaëtan Gilbert (Mar 16 2023 at 14:03):

https://github.com/coq/coq/pull/17368 has a conflict but no needs:rebase label, what's going on?

view this post on Zulip Théo Zimmermann (Mar 16 2023 at 14:24):

It looks like the process might not have completed for some reason? https://github.com/coq/coq/actions/runs/4437593217/jobs/7787500777#step:2:528

view this post on Zulip Théo Zimmermann (Mar 16 2023 at 14:24):

I'm re-running the job.

view this post on Zulip Gaëtan Gilbert (Mar 16 2023 at 14:37):

the label showed up

view this post on Zulip Notification Bot (Mar 16 2023 at 14:37):

Gaëtan Gilbert has marked this topic as resolved.


Last updated: Mar 28 2024 at 09:01 UTC