Repository navigation

validate #1498

Job	Run time
select	10s
lint	23s
graphics install: no side effects on unrelated members	3m 0s
mirror-cn-reachable	28m 12s
workspace (linux default 0/6)	1h 0m 14s
workspace (linux default 2/6)	35m 55s
workspace (linux default 1/6)	43m 43s
workspace (linux llvm 0/9)	39m 53s
workspace (linux default 4/6)	37m 35s
workspace (macos default 1/2)	1h 9m 39s
workspace (linux llvm 6/9)	53s
workspace (linux llvm 7/9)	46s
workspace (linux default 5/6)	34m 37s
workspace (linux llvm 8/9)	46s
workspace (macos default 0/2)	1h 1m 58s
workspace (windows default 3/5)	17m 43s
workspace (linux llvm 5/9)	20m 3s
workspace (linux llvm 1/9)	26m 4s
workspace (linux llvm 3/9)	14m 47s
workspace (windows default 1/5)	37m 38s
workspace (windows default 0/5)	47m 11s
workspace (linux llvm 2/9)	36m 21s
workspace (windows default 2/5)	33m 23s
workspace (linux llvm 4/9)	29m 8s
workspace (linux default 3/6)	23m 50s
workspace (windows default 4/5)	33m 50s
red members name their issues	4s
timings	8s
full sweep failed — open an issue	-1s
	12h 17m 53s