Skip to content

miri no longer builds after rust-lang/rust#101410 #101867

Closed
#102028
#101894
Closed
miri no longer builds after rust-lang/rust#101410#101867
#102028
#101894
Assignees
RalfJungoli-obk
Labels
A-miriArea: The miri toolC-bugCategory: This is a bug.

Description

@rust-highfive
rust-highfive
opened on Sep 15, 2022

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

cc @dingxiangfei2009, 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 Sep 15, 2022
  2. rust-highfive
    assigned
    RalfJung
    and
    oli-obk
    on Sep 15, 2022
  3. bors
    added a commit that references this issue on Sep 19, 2022

    Auto merge of rust-lang#101894 - dingxiangfei2009:let-else-avoid-dupl…

    2019147
  4. bors
    closed this as completedin 2019147on Sep 19, 2022
  5. RalfJung
    reopened this on Sep 19, 2022
  6. bors
    added 4 commits that reference this issue on Sep 19, 2022

    Auto merge of #2551 - RalfJung:rustup, r=RalfJung

    16528ef

    Auto merge of #2551 - RalfJung:rustup, r=RalfJung

    7d0f203

    Auto merge of #2551 - RalfJung:rustup, r=RalfJung

    30b751e

    Auto merge of #2551 - RalfJung:rustup, r=RalfJung

    4b9463c
  7. bors
    closed this as completedin #102028on Sep 22, 2022
  8. bors
    added a commit that references this issue on Sep 22, 2022

    Auto merge of rust-lang#102028 - oli-obk:miri_subtree, r=oli-obk

    c10f7d7
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