Repository navigation

openkal 0.16.0, and the seven packages that move with it #1716

Job	Run time
graphics install: no side effects on unrelated members	3m 49s
select	13s
lint	12s
mirror-cn-reachable	8m 38s
workspace (linux llvm 3/4)	47s
workspace (windows default 0/1)	1m 21s
workspace (linux llvm 0/4)	1m 21s
workspace (macos default 0/1)	1m 6s
workspace (linux llvm 2/4)	32s
workspace (linux default 0/1)	1m 7s
workspace (linux llvm 1/4)	47s
timings	6s
red members name their issues	8s
full sweep failed — open an issue	-1s
	20m 6s