Skip to content

Improve display of build logs title#3327

Merged
syphar merged 1 commit into
rust-lang:mainfrom
GuillaumeGomez:build-logs-title
May 8, 2026
Merged

Improve display of build logs title#3327
syphar merged 1 commit into
rust-lang:mainfrom
GuillaumeGomez:build-logs-title

Conversation

@GuillaumeGomez
Copy link
Copy Markdown
Member

Currently:

Screenshot From 2026-05-08 01-00-07

With this PR:

Screenshot From 2026-05-08 00-52-24

Also, when you hover the "Build ..." title, the background doesn't change colour anymore.

@GuillaumeGomez GuillaumeGomez requested a review from a team as a code owner May 7, 2026 23:09
@github-actions github-actions Bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label May 7, 2026
@syphar syphar merged commit 37872fe into rust-lang:main May 8, 2026
14 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 May 8, 2026
@GuillaumeGomez GuillaumeGomez deleted the build-logs-title branch May 8, 2026 11:33
@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 May 14, 2026
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