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.

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

Refactor the way bootstrap invokes cargo miri #123192

Merged
merged 10 commits into from
Apr 1, 2024

Commits on Mar 28, 2024

  1. Configuration menu
    Copy the full SHA
    fd7909a View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2024

  1. prepare_tool_cargo: add support for a miri-test mode, and use it in t…

    …he cargo-miri smoke test and Miri sysroot build
    RalfJung committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    2a93942 View commit details
    Browse the repository at this point in the history

Commits on Mar 31, 2024

  1. Configuration menu
    Copy the full SHA
    4056df5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b5fe655 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    fb8abe5 View commit details
    Browse the repository at this point in the history
  4. remove a pointless env var

    CARGO_EXTRA_FLAGS is respected by the ./miri script which we are not invoking here
    RalfJung committed Mar 31, 2024
    Configuration menu
    Copy the full SHA
    7ac5f60 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    288daeb View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    4797fba View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    b08b06e View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    85d460e View commit details
    Browse the repository at this point in the history