Skip to content

miri no longer builds after rust-lang/rust#86255 #86863

Closed
#86861
Closed
miri no longer builds after rust-lang/rust#86255#86863
#86861
Assignees
syvb
Labels
A-miriArea: The miri toolC-bugCategory: This is a bug.

Description

@rust-highfive
rust-highfive
opened on Jul 4, 2021

Hello, this is your friendly neighborhood mergebot.
After merging PR #86255, I observed that the tool miri no longer builds.
A follow-up PR to the repository https://github.com/rust-lang/miri is needed to fix the fallout.

cc @Smittyvb, do you think you would have time to do the follow-up work?
If so, that would be great!

Activity

  1. rust-highfive
    added
    A-miriArea: The miri tool
    C-bugCategory: This is a bug.
    on Jul 4, 2021
  2. rust-highfive
    assigned
    RalfJung
    ,
    oli-obk
    and
    eddyb
    on Jul 4, 2021

  3. syvb commented on Jul 4, 2021

    @syvb
    syvb
    on Jul 4, 2021
    Contributor

    @rustbot claim

  4. rustbot
    assigned
    syvb
    and unassigned
    eddyb
    ,
    RalfJung
    and
    oli-obk
    on Jul 4, 2021
  5. bors
    added 2 commits that reference this issue on Jul 4, 2021

    Auto merge of #1845 - Smittyvb:fix-after-mir-alloc-oom, r=RalfJung

    15e81a9

    Auto merge of rust-lang#86861 - RalfJung:miri, r=RalfJung

    5249414
  6. bors
    closed this as completedin 5249414on Jul 5, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

A-miriArea: The miri toolC-bugCategory: This is a bug.

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions