Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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).
- Loading branch information