diff options
| author | bors <bors@rust-lang.org> | 2020-12-11 16:25:13 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-12-11 16:25:13 +0000 |
| commit | baf5f2da8b99c23bed127912f79532eb497b3e0b (patch) | |
| tree | 4e648801b227e79408ee482a199fc2d7b232d6c5 /src/test/codegen/src-hash-algorithm | |
| parent | 27fd6ed58145a6cf9789ef82deb3be8182c92915 (diff) | |
| parent | 836325e9d9530114b296f73306c03318d8a52c0a (diff) | |
| download | rust-baf5f2da8b99c23bed127912f79532eb497b3e0b.tar.gz rust-baf5f2da8b99c23bed127912f79532eb497b3e0b.zip | |
Auto merge of #6401 - ebroto:pin_to_a_nightly, r=ebroto
📌 Pin Clippy to a nightly 📌 changelog: Pin Clippy to a specific nightly version (No more master/custom toolchain required to compile Clippy) Addresses partially #5561. As proposed there in [this comment](https://github.com/rust-lang/rust-clippy/issues/5561#issuecomment-623109095), this kicks off the process, to help us get acquainted with how the syncs should work, before working on improving the tooling. Open questions: * When performing a rustup, we will need to exclude the commits that were merged that same day, or else wait until that nightly is released. I did not update the documentation about this part, mainly because I'm not sure about how to do that. * When should we perform the rustups now? My first idea is to do it at the same time we do the clippyups, to have a clear cadence and to avoid the two copies of the repo to diverge enough to make the process painful. * Who does the rustups now? If we follow my previous idea and do both rustup and clippyup at the same time, it would be more work for `@flip1995` who currently does the clippyups. I would prefer to establish some kind of rotation to spead the work. Other ideas? * I'm not sure if this affects the release process in any way. * ??? `@rust-lang/clippy` thoughts? r? `@flip1995`
Diffstat (limited to 'src/test/codegen/src-hash-algorithm')
0 files changed, 0 insertions, 0 deletions
