Auto merge of #3903 - RalfJung:auto-prs, r=RalfJung #8848
ci.yml
on: push
Matrix: build
style checks
3m 46s
bors build finished
0s
bors build finished
0s
cronjob failure notification
0s