Skip to content

Fix indent of docs.rs build page code example#3312

Merged
syphar merged 1 commit intorust-lang:mainfrom
GuillaumeGomez:fix-indent
Apr 26, 2026
Merged

Fix indent of docs.rs build page code example#3312
syphar merged 1 commit intorust-lang:mainfrom
GuillaumeGomez:fix-indent

Conversation

@GuillaumeGomez
Copy link
Copy Markdown
Member

Fixes this bug (on https://docs.rs/about/builds):

image

@GuillaumeGomez GuillaumeGomez requested a review from a team as a code owner April 26, 2026 15:56
@github-actions github-actions Bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Apr 26, 2026
Comment thread crates/bin/docs_rs_web/templates/core/about/builds.html Outdated
@syphar syphar added S-waiting-on-author Status: This PR is incomplete or needs to address review comments and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Apr 26, 2026
@syphar syphar removed the S-waiting-on-author Status: This PR is incomplete or needs to address review comments label Apr 26, 2026
@syphar syphar merged commit 31819c5 into rust-lang:main Apr 26, 2026
14 checks passed
@github-actions github-actions Bot added 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 Apr 26, 2026
@GuillaumeGomez GuillaumeGomez deleted the fix-indent branch April 26, 2026 22:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants