https://github.com/coq/coq/pull/17368 has a conflict but no needs:rebase label, what's going on?
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
I'm re-running the job.
the label showed up
Gaëtan Gilbert has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC