Repository navigation

validate #1283

Job	Run time
select	10s
graphics install: no side effects on unrelated members	3m 49s
lint	15s
mirror-cn-reachable	19m 37s
workspace (linux default 5/6)	36m 59s
workspace (linux default 2/6)	35m 41s
workspace (linux default 3/6)	39m 20s
workspace (linux llvm 6/9)	36s
workspace (linux default 1/6)	58m 20s
workspace (linux llvm 2/9)	34m 30s
workspace (linux llvm 0/9)	41m 38s
workspace (windows default 2/5)	28m 42s
workspace (linux llvm 1/9)	35m 16s
workspace (linux default 0/6)	33m 5s
workspace (linux default 4/6)	54m 35s
workspace (macos default 1/2)	1h 14m 6s
workspace (linux llvm 4/9)	36m 6s
workspace (macos default 0/2)	45m 55s
workspace (linux llvm 3/9)	33m 4s
workspace (linux llvm 7/9)	52s
workspace (windows default 0/5)	32m 58s
workspace (windows default 1/5)	45m 47s
workspace (linux llvm 5/9)	32m 28s
workspace (linux llvm 8/9)	37s
workspace (windows default 3/5)	18m 35s
workspace (windows default 4/5)	29m 32s
timings	7s
full sweep failed — open an issue	-1s
	12h 52m 39s