Merge pull request #1514 from andyleiserson/fix-test #5624

Job	Run time
Additional Builds and Concurrency Tests	14m 56s
Basic Checks	21m 4s
Measure coverage	29m 15s
miri	3m 8s
Release builds and tests	8m 54s
sanitize (address)	17m 58s
Slow tests	18m 8s
sanitize (address, multi-threading)	19m 23s
sanitize (leak)	9m 32s
sanitize (leak, multi-threading)	8m 21s
	2h 30m 39s

Provide feedback