diff options
| author | Philipp Krones <hello@philkrones.com> | 2021-07-28 15:06:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-28 15:06:26 +0200 |
| commit | bcdf147aafc6d1c365487abd88cb0bc1cf5f2e63 (patch) | |
| tree | a9b739013e80e51ffeed6fac8e131225fa541301 /compiler/rustc_interface/src | |
| parent | ce465995d89a34a0d438bcd7ea03afb94a049dae (diff) | |
| parent | c951a3c68daefb078d7e52e87e3cebbfa9a13f10 (diff) | |
| download | rust-bcdf147aafc6d1c365487abd88cb0bc1cf5f2e63.tar.gz rust-bcdf147aafc6d1c365487abd88cb0bc1cf5f2e63.zip | |
Rollup merge of #7298 - flip1995:ci-switch-to-monster, r=xFrednet,flip1995
Switch CI to new metadata collection r? `@xFrednet` Things we have to keep in mind: - This removes the template files and the scripts used for deployment from the checkout. This was added in #5517. I don't think we ever needed those there. Not sure though. - ~~As a result, we can't remove the python scripts yet. We have to wait until this hits a stable Clippy release.~~ I'll just break the next stable deploy and do it by hand once. - This should be merged together with #7279. Me and `@xFrednet` will coordinate the switch - ...? I still have to try out some things: - [x] Is it worth caching? Yes - [x] ~~Is it worth to do a release build?~~ Nope - [x] Does it actually work? With a few changes, yes - [ ] ...? changelog: Clippy now uses a lint to generate its documentation :tada:
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions