-
Notifications
You must be signed in to change notification settings - Fork 1.6k
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
build: do not reinstall master toolchain if it is up-to-date #4713
Conversation
0515464
to
f9d2a1f
Compare
When I run
|
Yes, I can also reproduce this. About 5% of the time it will take 10+ seconds to get the result. On my slow 20Mbps connection this PR is still a significant speed up currently. Also considering that it isn't always that slow, I'd say it's fine to merge this? |
f9d2a1f
to
e780756
Compare
Note that old commit used git : https://github.com/rust-lang/rust-clippy/blob/3fb497c8c860cb286ed59fa49bc1796086196697/setup-toolchain.sh. |
☔ The latest upstream changes (presumably #4650) made this pull request unmergeable. Please resolve the merge conflicts. |
608e2d0
to
6193b36
Compare
Ci passed |
@bors r+ thanks! |
📌 Commit 6193b36 has been approved by |
🌲 The tree is currently closed for pull requests below priority 10, this pull request will be tested once the tree is reopened |
@bors treeclose- |
@bors r+ |
💡 This pull request was already approved, no need to approve it again. |
📌 Commit 6193b36 has been approved by |
🌲 The tree is currently closed for pull requests below priority 10, this pull request will be tested once the tree is reopened |
@bors treeclosed- |
build: do not reinstall master toolchain if it is up-to-date changelog: none
☀️ Test successful - checks-travis, status-appveyor |
changelog: none