Code

Use clap in miri-script#4036

Code

Merged

RalfJung merged 4 commits intorust-lang:masterrust-lang/miri:masterfrom Mandragorian:clapMandragorian/miri:clapCopy head branch name to clipboardDec 14, 2024

+254-335

Commits

Commits on Dec 14, 2024

• experiment with using clap

  

  Mandragorian

  authored and

  RalfJung

  committed
  8f27ab3

  Copy full SHA for 8f27ab3

• Update miri-script/src/main.rs

  Show description for 147bbd0
  

  Mandragorian

  and

  RalfJung

  committed
  147bbd0

  Copy full SHA for 147bbd0

• address comments

  

  Mandragorian

  authored and

  RalfJung

  committed
  cb10ece

  Copy full SHA for cb10ece

• fix 'rustc-push' and adjust help texts

  RalfJung

  committed
  1309e4c

  Copy full SHA for 1309e4c