[beta] Adjust miri to still be optional#3

pietroalbini merged 1 commit intopietroalbini:pa-beta-1.67.0pietroalbini/rust:pa-beta-1.67.0from

lukas-code:beta-nextlukas-code/rust:beta-nextCopy head branch name to clipboard