Code

miri.bat: use nightly toolchain#3864

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/miri:masterfrom RalfJung:miri-bat-nightlyRalfJung/miri:miri-bat-nightlyCopy head branch name to clipboardSep 6, 2024

+2-2

Commits

Commits on Sep 6, 2024

• miri.bat: use nightly toolchain

  RalfJung

  committed
  0d09dbf

  Copy full SHA for 0d09dbf