Merge pull request #1314 from akoshelev/bra-flaky-test #4923

Job	Run time
Measure coverage	30m 24s
Additional Builds and Concurrency Tests	15m 5s
Basic Checks	25m 2s
miri	3m 0s
Release builds and tests	35m 48s
sanitize (address)	22m 42s
sanitize (address, multi-threading)	22m 25s
Slow tests	12m 46s
sanitize (leak)	10m 14s
sanitize (leak, multi-threading)	8m 34s
	3h 6m 0s

Provide feedback