Skip to content
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

Enable rustup clippy to refer to the correct documentation #3442

Merged
merged 2 commits into from
Nov 22, 2018
Merged

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Nov 21, 2018

cc #3409

Need to also backport this to https://github.com/rust-lang-nursery/rust-clippy/tree/rust-1.31.0 and then add a tag to it called rust-1.31 to trigger the build of the corresponding tag

cc @Manishearth we'll need to tag every rust release from now on. This seems like the cleanest way to make rustup clippy point to the right docs

@oli-obk oli-obk added this to the 1.0 milestone Nov 21, 2018
bors added a commit to rust-lang/rust that referenced this pull request Nov 21, 2018
Forward rust version number to tools

Clippy uses it to identify the correct documentation to point to

cc @Manishearth @nrc

sibling PR in clippy: rust-lang/rust-clippy#3442
@oli-obk oli-obk closed this Nov 22, 2018
@oli-obk oli-obk reopened this Nov 22, 2018
@oli-obk oli-obk merged commit 2f6881c into master Nov 22, 2018
@oli-obk oli-obk deleted the version_ids branch November 22, 2018 09:49
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.

1 participant