arrayvec icon indicating copy to clipboard operation
arrayvec copied to clipboard

update Miri CI config

Open RalfJung opened this issue 3 years ago • 0 comments

We don't need curl and https://rust-lang.github.io/rustup-components-history/ any more now that rustup can install "latest toolchain with certain tools".

RalfJung avatar Mar 08 '22 20:03 RalfJung