bors 91b406f3f6 Auto merge of #3221 - RalfJung:edition, r=RalfJung ... ./miri run: default to edition 2021 Fixes https://github.com/rust-lang/miri/issues/2999		2023-12-18 17:53:07 +00:00
..
src	Auto merge of #3221 - RalfJung:edition, r=RalfJung	2023-12-18 17:53:07 +00:00
Cargo.lock	Bump rustix from 0.38.17 to 0.38.19 in /miri-script	2023-10-18 21:35:00 +00:00
Cargo.toml	Update miri-script dependencies	2023-10-05 19:29:27 +02:00
miri	miri-script refactor	2023-07-31 09:54:05 +02:00