Skip to content

x.py: Test cargo miri test for doctests #123028

Closed
@RalfJung

Description

@RalfJung

Currently we do ensure on CI that cargo miri test works, but doctests are enabled as I couldn't figure out how to get this to work within bootstrap. However, that has let rust-lang/miri#3404 slip through. So ideally we can figure out these bootstrap issues and test rustdoc inside cargo miri test on rustc CI.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-miriArea: The miri toolT-bootstrapRelevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions