Skip to content

Miri is shipped in the standalone installer #86286

New issue
New issue
Closed
#86568
Closed
Miri is shipped in the standalone installer#86286
#86568
Labels
A-miriArea: The miri toolC-bugCategory: This is a bug.T-releaseRelevant to the release subteam, which will review and decide on the PR/issue.
@RalfJung

Description

@RalfJung
RalfJung
opened on Jun 14, 2021

According to user reports, the standalone tarball installer of stable Rust releases includes Miri. That's a bug, Miri is a nightly-only tool and should not be shipped on stable.

Cc @rust-lang/infra @rust-lang/release

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-miriArea: The miri toolC-bugCategory: This is a bug.T-releaseRelevant to the release subteam, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions