validate #1293

Job	Run time
select	8s
lint	21s
graphics install: no side effects on unrelated members	3m 35s
mirror-cn-reachable	22m 4s
workspace (linux default 5/6)	38m 11s
workspace (linux default 0/6)	57m 55s
workspace (linux default 4/6)	57m 21s
workspace (linux llvm 8/9)	1m 49s
workspace (linux llvm 3/9)	39m 6s
workspace (linux llvm 7/9)	1m 48s
workspace (linux llvm 6/9)	1m 50s
workspace (linux llvm 0/9)	31m 34s
workspace (linux default 2/6)	47m 40s
workspace (macos default 0/2)	57m 1s
workspace (linux llvm 1/9)	46m 55s
workspace (linux default 3/6)	51m 26s
workspace (windows default 0/5)	25m 49s
workspace (linux default 1/6)	57m 25s
workspace (windows default 4/5)	18m 10s
workspace (linux llvm 5/9)	32m 58s
workspace (linux llvm 4/9)	45m 12s
workspace (windows default 1/5)	48m 39s
workspace (windows default 2/5)	41m 30s
workspace (windows default 3/5)	34m 4s
workspace (linux llvm 2/9)	27m 37s
workspace (macos default 1/2)	1h 22m 48s
timings	7s
full sweep failed — open an issue	-1s
	14h 33m 2s

Navigation Menu