Merge pull request #975 from andyleiserson/nightly #3689

Job	Run time
Additional Builds and Concurrency Tests	7m 58s
Basic Checks	6m 59s
miri	2m 23s
Measure coverage	10m 19s
Release builds and tests	6m 23s
sanitize (address)	5m 24s
sanitize (address, multi-threading)	4m 37s
sanitize (leak)	4m 32s
sanitize (leak, multi-threading)	4m 19s
	52m 54s

Provide feedback