Revert #64451#64543

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

pietroalbini:revert-miri-manifestpietroalbini/rust:revert-miri-manifestCopy head branch name to clipboard