Code

update Miri#111506

Code

Merged

bors merged 9 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboardMay 13, 2023

+26-6

Commits

Commits on May 11, 2023

• Emit the compiler flags again

  oli-obk

  committed
  3f7d620

  Copy full SHA for 3f7d620

• Auto merge of rust-lang#2889 - oli-obk:ui_test, r=oli-obk

  Show description for 44de0ee
  bors

  committed
  44de0ee

  Copy full SHA for 44de0ee

Commits on May 12, 2023

• Preparing for merge from rustc

  RalfJung

  committed
  0193756

  Copy full SHA for 0193756

• Merge from rustc

  RalfJung

  committed
  154c7a5

  Copy full SHA for 154c7a5

• fmt

  RalfJung

  committed
  97d3e4e

  Copy full SHA for 97d3e4e

• Auto merge of rust-lang#2891 - RalfJung:rustup, r=RalfJung

  Show description for 81a4c1d
  bors

  committed
  81a4c1d

  Copy full SHA for 81a4c1d

• bump rustc (no josh changes)

  RalfJung

  committed
  8556c4d

  Copy full SHA for 8556c4d

• opt-level 4 should work again now

  RalfJung

  committed
  b157438

  Copy full SHA for b157438

• run miri tests with MIR opts in rustc CI

  RalfJung

  committed
  18fd17d

  Copy full SHA for 18fd17d