Skip to content

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Nov 3, 2025

Currently, all GH PR comments show that there is nothing in the queue. This PR switches that estimation to the new job queue.

Copy link
Contributor

@Jamesbarford Jamesbarford left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is ok. However if we need anymore stats we should re-evaluate the merits of dropping this to the SQL layer. As we be able to reduce this complexity.

How many times are we now calling build_queue to display this page?

@Kobzol
Copy link
Member Author

Kobzol commented Nov 4, 2025

This is called once per queued try build, which happens maybe 5-10 times per day, so I don't think that's a problem.

@Jamesbarford
Copy link
Contributor

This is called once per queued try build, which happens maybe 5-10 times per day, so I don't think that's a problem.

Sounds good 👍

Copy link
Contributor

@Jamesbarford Jamesbarford left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍

@Kobzol Kobzol added this pull request to the merge queue Nov 4, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to a conflict with the base branch Nov 4, 2025
@Kobzol Kobzol enabled auto-merge November 4, 2025 08:37
@Kobzol Kobzol added this pull request to the merge queue Nov 4, 2025
Merged via the queue into rust-lang:master with commit 7cc7484 Nov 4, 2025
14 checks passed
@Kobzol Kobzol deleted the queue-estimation branch November 4, 2025 09:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants