Auto merge of #3110 - eduardosm:rounding-without-host-floats, r=RalfJung #5926
borsci.yml
on: push
Matrix: build
style checks
1m 47s
bors build finished
1s
bors build finished
0s
cronjob failure notification
0s