Seed management to improve reproducibility #5151

Job	Run time
Additional Builds and Concurrency Tests	14m 14s
Measure coverage	30m 9s
miri	3m 26s
Basic Checks	22m 15s
Release builds and tests	11m 21s
sanitize (address)	23m 29s
Slow tests	12m 1s
sanitize (address, multi-threading)	25m 9s
sanitize (leak)	11m 29s
sanitize (leak, multi-threading)	13m 30s
	2h 47m 3s

Provide feedback