Skip to content

Add link to the build queue when crate is building/in the build queue #2859

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 4, 2025

Conversation

GuillaumeGomez
Copy link
Member

@GuillaumeGomez GuillaumeGomez commented Jul 3, 2025

It now looks like this:

image

@GuillaumeGomez GuillaumeGomez requested a review from a team as a code owner July 3, 2025 13:29
@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Jul 3, 2025
@GuillaumeGomez
Copy link
Member Author

Just thought: do we want to align the text "in the build queue" with the following lines' text?

@GuillaumeGomez GuillaumeGomez force-pushed the build-link-to-build-queue branch from 4167310 to afd7a2c Compare July 3, 2025 15:56
@GuillaumeGomez
Copy link
Member Author

I did the alignment thing. :)

@GuillaumeGomez GuillaumeGomez force-pushed the build-link-to-build-queue branch from afd7a2c to dc323bb Compare July 3, 2025 16:50
@syphar
Copy link
Member

syphar commented Jul 4, 2025

thanks!

@syphar syphar merged commit f5fa55d into rust-lang:master Jul 4, 2025
9 checks passed
@github-actions github-actions bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Jul 4, 2025
@GuillaumeGomez GuillaumeGomez deleted the build-link-to-build-queue branch July 4, 2025 09:10
@GuillaumeGomez GuillaumeGomez mentioned this pull request Jul 9, 2025
@syphar syphar removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Jul 22, 2025
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