chore: fix ci by hard-coding nightly version for miri (#4825)
chore: fix ci by hard-coding nightly version for miri (#4825)

It would seem that the latest nightly is having issues, so I went with the one from yesterday (2022-7-10).
tokio-rs/tokio,tokio-rs/tokio