Auto merge of #2623 - RalfJung:cron, r=RalfJung
Auto merge of #2623 - RalfJung:cron, r=RalfJung

change cronjob time

This way it is again in my morning.

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri