Use clap in miri-script#4036

Merged

RalfJung merged 4 commits intorust-lang:masterfrom

Mandragorian:clap

Dec 14, 2024

Commits on Dec 14, 2024

experiment with using clap

Mandragorian
authored and
RalfJung
committed
Update miri-script/src/main.rs

Mandragorian
and
RalfJung
committed
address comments

Mandragorian
authored and
RalfJung
committed
fix 'rustc-push' and adjust help texts
RalfJung
committed