Auto merge of #3881 - RalfJung:miri-run, r=RalfJung #8775
borsci.yml
on: push
Matrix: build
style checks
2m 46s
bors build finished
0s
bors build finished
0s
cronjob failure notification
0s
Annotations
2 errors
|
build (windows-latest, i686-pc-windows-msvc)
Process completed with exit code 1.
|
|
bors build finished
Process completed with exit code 1.
|