Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #69765 - RalfJung:miri-test, r=LukasKalbertodt
reduce test size for Miri The larger sizes take quite a while, and there is probably little point in repeating this quite so often.
- Loading branch information