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

[Merged by Bors] - unpin nightly and disable weak memory emulation #4988

Closed
wants to merge 5 commits into from
Closed

[Merged by Bors] - unpin nightly and disable weak memory emulation #4988

wants to merge 5 commits into from

Commits on Jun 27, 2022

  1. unpin nightly and disable weak memory emulation

    @mockersf
    mockersf committed Jun 27, 2022
    Configuration menu
    Copy the full SHA
    3a14a5c View commit details
    Browse the repository at this point in the history

  2. use miri-permissive-provenance 

    Co-authored-by: Ralf Jung <post@ralfj.de>
    @mockersf @RalfJung
    mockersf and RalfJung authored Jun 27, 2022
    Configuration menu
    Copy the full SHA
    e7a8888 View commit details
    Browse the repository at this point in the history

  3. update comments

    @mockersf
    mockersf committed Jun 27, 2022
    Configuration menu
    Copy the full SHA
    1e5b442 View commit details
    Browse the repository at this point in the history

  4. update comment 

    Co-authored-by: Ralf Jung <post@ralfj.de>
    @mockersf @RalfJung
    mockersf and RalfJung authored Jun 27, 2022
    Configuration menu
    Copy the full SHA
    0b73374 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2022

  1. update comment with issue link 

    Co-authored-by: Ralf Jung <post@ralfj.de>
    @mockersf @RalfJung
    mockersf and RalfJung authored Jul 1, 2022
    Configuration menu
    Copy the full SHA
    2d6d42e View commit details
    Browse the repository at this point in the history