Skip to content

Fix missing-docs lint on dummy build.rs#378

Merged
nmattia merged 1 commit intomasterfrom
nm-stub-lints
Jan 30, 2026
Merged

Fix missing-docs lint on dummy build.rs#378
nmattia merged 1 commit intomasterfrom
nm-stub-lints

Conversation

@nmattia
Copy link
Collaborator

@nmattia nmattia commented Jan 30, 2026

This ensures the dummy build.rs (which contains an empty main() function) passes the missing-docs lint check from rustc

Fixes #377

This ensures the dummy `build.rs` (which contains an empty `main()`
function) passes the `missing-docs` lint check from rustc

Fixes #377
@nmattia nmattia merged commit 9d4ed44 into master Jan 30, 2026
2 checks passed
@nmattia nmattia deleted the nm-stub-lints branch January 30, 2026 19:04
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.

Dummy build.rs causes failure to build with specific lints.

1 participant