Repository navigation

feat: add richdem package #1539

Job	Run time
lint	15s
select	11s
graphics install: no side effects on unrelated members	3m 10s
mirror-cn-reachable	11s
workspace (linux llvm 0/4)	1m 14s
workspace (macos default 0/1)	52s
workspace (linux llvm 1/4)	55s
workspace (windows default 0/1)	1m 27s
workspace (linux llvm 3/4)	1m 3s
workspace (linux default 0/1)	36s
workspace (linux llvm 2/4)	57s
red members name their issues	5s
timings	7s
full sweep failed — open an issue	-1s
	11m 2s