Auto merge of #3319 - bjorn3:some_more_shims, r=RalfJung #7588
borsci.yml
on: push
Matrix: build
style checks
2m 15s
bors build finished
0s
bors build finished
0s
cronjob failure notification
0s