Skip to content

docs(build-rs): Fix broken intra-doc links #15810

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Aug 5, 2025
Merged

docs(build-rs): Fix broken intra-doc links #15810

merged 1 commit into from
Aug 5, 2025

Conversation

epage
Copy link
Contributor

@epage epage commented Aug 5, 2025

What does this PR try to resolve?

Unblock CI

How to test and review this PR?

Notes

These were caught with the latest nightly

This was pulled from #15800

@ojuschugh1 @epage
docs(build-rs): Fix broken intra-doc links
c0c256b 
These were caught with the latest nightly

This was pulled from rust-lang#15800
@rustbot
Copy link
Collaborator

rustbot commented Aug 5, 2025

r? @ehuss

rustbot has assigned @ehuss.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added A-build-scripts Area: build.rs scripts A-configuration Area: cargo config files and env vars S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 5, 2025
weihanglo
weihanglo approved these changes Aug 5, 2025
View reviewed changes
Copy link
Member

@weihanglo weihanglo left a comment

Choose a reason for hiding this comment

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

Thanks!

@weihanglo weihanglo enabled auto-merge August 5, 2025 17:05
@weihanglo weihanglo added this pull request to the merge queue Aug 5, 2025
This was referenced Aug 5, 2025
Merged
Merged
Merged via the queue into rust-lang:master with commit c01efc8 Aug 5, 2025
24 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 5, 2025
@epage epage deleted the docs branch August 5, 2025 18:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@weihanglo weihanglo weihanglo approved these changes

Assignees

@ehuss ehuss

Labels
A-build-scripts Area: build.rs scripts A-configuration Area: cargo config files and env vars
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@epage @rustbot @weihanglo @ehuss @ojuschugh1