One more timeout fix #527

Job	Run time
miri	5m 4s
Additional Builds and Concurrency Tests	11m 24s
Basic Checks	6h 0m 15s
Measure coverage	24m 1s
Release builds and tests	12m 49s
sanitize (address)	17m 11s
Slow tests	14m 38s
sanitize (address, multi-threading)	18m 26s
sanitize (leak)	7m 50s
sanitize (leak, multi-threading)	9m 15s
	8h 0m 53s

Provide feedback