Merge pull request #1493 from akoshelev/log-file #5589

Job	Run time
Additional Builds and Concurrency Tests	13m 48s
Slow tests	22m 3s
Basic Checks	31m 15s
Measure coverage	39m 0s
miri	13m 9s
Release builds and tests	14m 26s
sanitize (address)	26m 53s
sanitize (address, multi-threading)	24m 8s
sanitize (leak)	12m 21s
sanitize (leak, multi-threading)	11m 14s
	3h 28m 17s

Provide feedback