Repository navigation
clippy-driver no longer builds after rust-lang/rust#61995 #62338
Description
Hello, this is your friendly neighborhood mergebot.
After merging PR #61995, I observed that the tool clippy-driver no longer builds.
A follow-up PR to the repository https://github.com/rust-lang/rust-clippy is needed to fix the fallout.
cc @eddyb, do you think you would have time to do the follow-up work?
If so, that would be great!
cc @petrochenkov, the PR reviewer, and @rust-lang/compiler -- nominating for prioritization.
Activity
submodules: update clippy from e3cb40e to a9f8d3a
pnkfelix commentedon Jul 4, 2019
triage: P-medium, removing nomination, adding @matthiaskrgr to the assignee list. (Update: couldn't add @matthiaskrgr , so adding self instead.)
pnkfelix commentedon Jul 4, 2019
@rustbot assign @matthiaskrgr
tmandry commentedon Jul 12, 2019
Ping @matthiaskrgr, are you still working on this?
matthiaskrgr commentedon Jul 12, 2019
Er, no.
The current clippy-fix pr is #62613
tmandry commentedon Jul 12, 2019
I wonder if I can do this...
@rustbot assign @lzutao
matthiaskrgr commentedon Jul 13, 2019
Issue can be closed now.
matthiaskrgr commentedon Jul 15, 2019
@rustbot close
jonas-schievink commentedon Jul 17, 2019
Fixed by #62613