Skip to content

clippy-driver no longer builds after rust-lang/rust#68423 #68431

New issue
New issue
Closed
#68439
Closed
clippy-driver no longer builds after rust-lang/rust#68423#68431
#68439
Assignees
oli-obkManishearthyaahcphanschmcartonllogiqflip1995

Description

@rust-highfive
rust-highfive
opened on Jan 21, 2020

Hello, this is your friendly neighborhood mergebot.
After merging PR #68423, 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 @Centril, do you think you would have time to do the follow-up work?
If so, that would be great!

cc @Centril, the PR reviewer, and nominating for compiler team prioritization.

Activity

  1. rust-highfive
    added
    I-nominated
    T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
    on Jan 21, 2020
  2. rust-highfive
    assigned
    mcarton
    ,
    oli-obk
    ,
    Manishearth
    ,
    flip1995
    ,
    yaahc
    ,
    phansch
    and
    llogiq
    on Jan 21, 2020
  3. Manishearth
    removed
    I-nominated
    T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
    on Jan 21, 2020

  4. Manishearth commented on Jan 21, 2020

    @Manishearth
    Manishearth
    on Jan 21, 2020
    Member

    rust-lang/rust-clippy#5076

  5. Centril
    added a commit that references this issue on Jan 22, 2020

    Rollup merge of rust-lang#68439 - JohnTitor:clippy-up, r=JohnTitor

    2a3627d
  6. bors
    closed this as completedin 2a3627don Jan 22, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions