Code

deprecate -Zmiri-disable-abi-check#3071

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/miri:masterfrom RalfJung:deprecate-disable-abiRalfJung/miri:deprecate-disable-abiCopy head branch name to clipboardSep 21, 2023

+13-1

Commits

Commits on Sep 21, 2023

• deprecate -Zmiri-disable-abi-check

  RalfJung

  committed
  f0f762e