mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-22 14:55:26 +00:00
Rollup merge of #132130 - onur-ozkan:remove-ci-change-id, r=Kobzol
remove `change-id` from CI script It's not necessary to set `change-id` for CI since https://github.com/rust-lang/rust/pull/130356.
This commit is contained in:
commit
f8cae25e92
@ -47,11 +47,6 @@ source "$ci_dir/shared.sh"
|
||||
|
||||
export CARGO_REGISTRIES_CRATES_IO_PROTOCOL=sparse
|
||||
|
||||
# suppress change-tracker warnings on CI
|
||||
if [ "$CI" != "" ]; then
|
||||
RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set change-id=99999999"
|
||||
fi
|
||||
|
||||
# If runner uses an incompatible option and `FORCE_CI_RUSTC` is not defined,
|
||||
# switch to in-tree rustc.
|
||||
if [ "$FORCE_CI_RUSTC" == "" ]; then
|
||||
|
Loading…
Reference in New Issue
Block a user