Repository navigation

validate #639

Job	Run time
graphics install: no side effects on unrelated members	2m 49s
lint	11s
mirror-cn-reachable	8m 30s
select	11s
workspace (linux 0/3)	1h 30m 16s
workspace (linux 2/3)	1h 8m 38s
workspace (windows 1/2)	55m 44s
workspace (linux 1/3)	1h 16m 40s
workspace (macos 1/2)	34m 25s
workspace (macos 0/2)	34m 3s
workspace (windows 0/2)	59m 20s
timings	7s
	7h 10m 54s