Merge pull request #1521 from andyleiserson/workflows #5642

Job	Run time
miri	2m 59s
Measure coverage	28m 52s
Additional Builds and Concurrency Tests	15m 51s
Basic Checks	21m 12s
Release builds and tests	12m 57s
sanitize (address)	18m 1s
Slow tests	21m 18s
sanitize (address, multi-threading)	19m 6s
sanitize (leak)	7m 55s
sanitize (leak, multi-threading)	8m 37s
	2h 36m 48s

Provide feedback