Skip to content

Commit

Permalink
do not trust download-rustc=if-unchanged on CI for now
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Nov 10, 2024
1 parent c22887b commit b3c2121
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion src/ci/run.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit b3c2121

Please sign in to comment.