Skip to content

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.

2 participants