Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #2820 - oli-obk:rustup, r=RalfJung
Have the miri cronjob link to the failed run.
Also explain what needs to be done to resolve the failing CI.
