Auto merge of #3155 - RalfJung:data-race-docs, r=RalfJung #6083
bors
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: push
Matrix: build
style checks
2m 15s
bors build finished
2s
bors build finished
0s
cronjob failure notification
0s