Miri CI: test aarch64-apple-darwin in PRs instead of the x86_64 target#141277

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:miri-ci

Jun 1, 2025

Commits on May 20, 2025

Miri CI: test aarch64-apple-darwin in PRs instead of the x86_64 target
RalfJung
committed