Repository navigation

validate #1444

Job	Run time
lint	13s
graphics install: no side effects on unrelated members	3m 37s
select	12s
mirror-cn-reachable	22m 53s
workspace (linux llvm 5/9)	28m 56s
workspace (linux llvm 4/9)	34m 0s
workspace (linux default 1/6)	47m 6s
workspace (linux llvm 2/9)	43m 28s
workspace (windows default 3/5)	30m 11s
workspace (windows default 2/5)	45m 5s
workspace (windows default 4/5)	27m 25s
workspace (macos default 1/2)	47m 0s
workspace (linux llvm 3/9)	14m 13s
workspace (linux default 2/6)	55m 52s
workspace (linux llvm 0/9)	36m 39s
workspace (linux default 0/6)	59m 1s
workspace (windows default 1/5)	52m 42s
workspace (linux llvm 8/9)	1m 44s
workspace (linux llvm 7/9)	1m 36s
workspace (linux llvm 1/9)	29m 8s
workspace (linux default 5/6)	28m 40s
workspace (windows default 0/5)	31m 23s
workspace (linux llvm 6/9)	1m 42s
workspace (linux default 3/6)	1h 4m 39s
workspace (linux default 4/6)	1h 0m 34s
workspace (macos default 0/2)	1h 20m 43s
red members name their issues	7s
timings	8s
full sweep failed — open an issue	0s
	14h 8m 57s