Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix some of the rustfmt fallout in Miri #67833

Closed
wants to merge 5 commits into from
Closed

Fix some of the rustfmt fallout in Miri #67833

wants to merge 5 commits into from

Commits on Jan 3, 2020

  1. fix rustfmt fallout

    @RalfJung
    RalfJung committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    0581605 View commit details
    Browse the repository at this point in the history

  2. let rustfmt undo most of my edits :(

    @RalfJung
    RalfJung committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    ff5b102 View commit details
    Browse the repository at this point in the history

  3. manually format Miri error message matches

    @RalfJung
    RalfJung committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    e44f3e7 View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2020

  1. adjust Deref comment

    @RalfJung
    RalfJung committed Jan 6, 2020
    Configuration menu
    Copy the full SHA
    bc902c4 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2020

  1. add FIXME for rustfmt::skip

    @RalfJung
    RalfJung committed Jan 8, 2020
    Configuration menu
    Copy the full SHA
    7a4a08f View commit details
    Browse the repository at this point in the history