rust-clippy icon indicating copy to clipboard operation
rust-clippy copied to clipboard

build: Skip installing rust-docs with minimal rustup profile

Open tesuji opened this issue 1 year ago • 1 comments

r? @flip1995

changelog: none

tesuji avatar Jul 01 '24 15:07 tesuji

r? @blyxyas

rustbot has assigned @blyxyas. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

rustbot avatar Jul 01 '24 15:07 rustbot

I guess I never used rust-docs when working on Clippy. This makes sure that only the components are downloaded that we specify, which is a good thing IMO. So I'll merge this. Let's see if someone complains, that the rust-docs component is missing. :sweat_smile: If that's the case, we should explicitly add it to the list.

@bors r+

flip1995 avatar Jul 02 '24 14:07 flip1995

:pushpin: Commit 76a068be6da0878393473e4929e5a2cab8af0d0b has been approved by flip1995

It is now in the queue for this repository.

bors avatar Jul 02 '24 14:07 bors

:hourglass: Testing commit 76a068be6da0878393473e4929e5a2cab8af0d0b with merge c4f81d00a28d67c35b82fc3c21619a6228de498b...

bors avatar Jul 02 '24 14:07 bors

:sunny: Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test Approved by: flip1995 Pushing c4f81d00a28d67c35b82fc3c21619a6228de498b to master...

bors avatar Jul 02 '24 14:07 bors