Repository navigation

validate #1290

Job	Run time
graphics install: no side effects on unrelated members	3m 2s
lint	14s
select	15s
mirror-cn-reachable	18m 4s
workspace (linux default 5/6)	37m 42s
workspace (linux default 4/6)	55m 22s
workspace (linux default 3/6)	34m 4s
workspace (linux llvm 0/9)	25m 49s
workspace (linux default 0/6)	54m 22s
workspace (linux llvm 2/9)	28m 1s
workspace (linux llvm 1/9)	43m 15s
workspace (macos default 0/2)	1h 5m 28s
workspace (windows default 0/5)	33m 24s
workspace (linux llvm 4/9)	43m 6s
workspace (windows default 4/5)	29m 59s
workspace (linux llvm 8/9)	1m 44s
workspace (linux llvm 7/9)	1m 44s
workspace (macos default 1/2)	1h 15m 15s
workspace (windows default 3/5)	34m 14s
workspace (linux llvm 6/9)	1m 45s
workspace (linux llvm 3/9)	39m 57s
workspace (windows default 1/5)	1h 3m 41s
workspace (windows default 2/5)	21m 54s
workspace (linux llvm 5/9)	32m 45s
workspace (linux default 2/6)	39m 33s
workspace (linux default 1/6)	1h 3m 4s
timings	8s
full sweep failed — open an issue	0s
	14h 7m 51s