Auto merge of #3769 - primoly:miri-start, r=RalfJung #8390
borsci.yml
on: push
Matrix: build
style checks
2m 22s
bors build finished
0s
bors build finished
0s
cronjob failure notification
0s