diff options
| author | Ralf Jung <post@ralfj.de> | 2024-11-10 14:47:16 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-11-10 16:28:52 +0100 |
| commit | b3c212103b826cde383093fab2f4237bb5736923 (patch) | |
| tree | 97a3b9ece69c3453ed2e2cbbff093b5393061149 | |
| parent | c22887b4d97400e8e024e19fb5f724eda65ad58d (diff) | |
| download | rust-b3c212103b826cde383093fab2f4237bb5736923.tar.gz rust-b3c212103b826cde383093fab2f4237bb5736923.zip | |
do not trust download-rustc=if-unchanged on CI for now
| -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 |