diff options
| author | bors <bors@rust-lang.org> | 2024-11-10 15:30:33 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-11-10 15:30:33 +0000 |
| commit | f5b62577f79396979585ee98ed3a52594207bce7 (patch) | |
| tree | e99f5f0fc10b1a27df73e43352ee60380bb3cefa /src | |
| parent | c22887b4d97400e8e024e19fb5f724eda65ad58d (diff) | |
| parent | 5c9cc0cfbb11a97d084e5a09bb47cc5566421460 (diff) | |
Auto merge of #132852 - RalfJung:rustc-if-unchanged, r=onur-ozkan
do not trust download-rustc=if-unchanged on CI for now See https://github.com/rust-lang/rust/issues/131658. Once https://github.com/rust-lang/rust/pull/131831 lands this will be unnecessary, for until then, better safe than sorry. r? `@onur-ozkan` Cc `@rust-lang/bootstrap`
Diffstat (limited to 'src')
| -rwxr-xr-x | src/ci/run.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh index 8e2f525db68..9f39ad9c55c 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -179,7 +179,9 @@ else fi if [ "$NO_DOWNLOAD_CI_RUSTC" = "" ]; then - RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set rust.download-rustc=if-unchanged" + # disabled for now, see https://github.com/rust-lang/rust/issues/131658 + #RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set rust.download-rustc=if-unchanged" + true fi fi |