Auto merge of #3625 - Strophox:miri-allocation-fix, r=RalfJung #7638
borsci.yml
on: push
Matrix: build
style checks
2m 22s
bors build finished
0s
bors build finished
0s
cronjob failure notification
0s