Repository navigation

validate #1526

Job	Run time
lint	16s
select	12s
graphics install: no side effects on unrelated members	3m 14s
mirror-cn-reachable	27m 8s
workspace (linux default 4/6)	54m 9s
workspace (linux llvm 0/9)	33m 54s
workspace (linux llvm 8/9)	1m 8s
workspace (linux default 5/6)	21m 14s
workspace (linux default 0/6)	35m 16s
workspace (linux default 2/6)	36m 8s
workspace (linux default 3/6)	17m 26s
workspace (linux llvm 5/9)	18m 43s
workspace (linux default 1/6)	51m 18s
workspace (linux llvm 3/9)	10m 2s
workspace (linux llvm 1/9)	25m 28s
workspace (linux llvm 2/9)	39m 6s
workspace (linux llvm 6/9)	43s
workspace (linux llvm 4/9)	31m 55s
workspace (linux llvm 7/9)	41s
workspace (windows default 0/5)	24m 14s
workspace (windows default 4/5)	22m 54s
workspace (windows default 3/5)	17m 36s
workspace (windows default 2/5)	29m 46s
workspace (macos default 1/2)	55m 29s
workspace (windows default 1/5)	42m 20s
workspace (macos default 0/2)	48m 45s
red members name their issues	6s
timings	6s
full sweep failed — open an issue	6s
	10h 49m 23s