bors 109e40bd40 Auto merge of #314 - RalfJung:miri, r=Amanieu ...

update Miri CI config

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".

2022-03-22 13:47:20 +00:00

..

miri.sh

update Miri CI config

2022-03-08 15:44:52 -05:00

run.sh

Install cross from crates.io

2022-03-22 12:59:05 +00:00

tools.sh

Remove pedantic clippy lints from CI

2022-03-22 12:18:15 +00:00