diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-06-05 18:21:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-05 18:21:11 +0200 |
| commit | ebc66fd04d3cd38b0330546f23c6d686c6581916 (patch) | |
| tree | cd877a6ab4df8b7d577610777e32d13c01135474 /compiler/rustc_trait_selection/src/errors.rs | |
| parent | e2ea7d82b1f24451ec0f75eee15f3cdc7cd77d6d (diff) | |
| parent | 92f85f12a82ac23b794dcdd58a76b0ae7519951c (diff) | |
| download | rust-ebc66fd04d3cd38b0330546f23c6d686c6581916.tar.gz rust-ebc66fd04d3cd38b0330546f23c6d686c6581916.zip | |
Rollup merge of #125911 - onur-ozkan:wipe-broken-cache, r=albertlarsan68
delete bootstrap build before switching to bumped rustc Technically, wiping bootstrap builds can increase the build time. But in practice, trying to manually resolve post-bump issues and even accidentally removing the entire build directory will result in a much greater loss of time. After all, the bootstrap build process is not a particularly lengthy operation. Workaround for #125578
Diffstat (limited to 'compiler/rustc_trait_selection/src/errors.rs')
0 files changed, 0 insertions, 0 deletions