Closed
Description
In #83257 (comment), run-make-fulldeps\coverage-reports failed on x86_64-msvc-1 even though the PR just bumped the Miri submodule -- so this has to be a spurious failure, right?
@rust-lang/infra maybe you have a good idea for whom to ping about this.