Skip to content

Fix boldness (put it back where needed) #86650

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 3 commits into from
Jun 30, 2021

Conversation

GuillaumeGomez
Copy link
Member

I realized that I created a GUI test that wasn't run because it had ".rs" extension instead of ".goml" so I moved its content into font-weight.goml (since it was checking font weight).

@GuillaumeGomez GuillaumeGomez added T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. A-rustdoc-ui Area: Rustdoc UI (generated HTML) labels Jun 26, 2021
@rust-highfive
Copy link
Contributor

Some changes occurred in HTML/CSS/JS.

cc @GuillaumeGomez

@rust-highfive
Copy link
Contributor

r? @CraftSpider

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 26, 2021
@GuillaumeGomez GuillaumeGomez changed the title Fix boldness Fix boldness (put it back where needed) Jun 26, 2021
@GuillaumeGomez
Copy link
Member Author

cc @jsha (even if not around, you can take a look when you're back 😉 )

@GuillaumeGomez
Copy link
Member Author

r? @Nemo157

@rust-highfive rust-highfive assigned Nemo157 and unassigned CraftSpider Jun 29, 2021
@Nemo157
Copy link
Member

Nemo157 commented Jun 30, 2021

@bors r+

@bors
Copy link
Collaborator

bors commented Jun 30, 2021

📌 Commit 2fd1229 has been approved by Nemo157

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jun 30, 2021
@bors
Copy link
Collaborator

bors commented Jun 30, 2021

⌛ Testing commit 2fd1229 with merge 5d34076...

@bors
Copy link
Collaborator

bors commented Jun 30, 2021

☀️ Test successful - checks-actions
Approved by: Nemo157
Pushing 5d34076 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jun 30, 2021
@bors bors merged commit 5d34076 into rust-lang:master Jun 30, 2021
@rustbot rustbot added this to the 1.55.0 milestone Jun 30, 2021
@GuillaumeGomez GuillaumeGomez deleted the fix-boldness branch June 30, 2021 14:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-rustdoc-ui Area: Rustdoc UI (generated HTML) merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants