Repository navigation

The openkal 0.24.1 correction group, as one change #2090

Job	Run time
lint	15s
graphics install: no side effects on unrelated members	2m 11s
select	12s
mirror-cn-reachable	11m 32s
workspace (macos default 0/1)	2m 37s
workspace (linux default 0/1)	2m 33s
workspace (linux llvm 2/4)	1m 3s
workspace (linux llvm 0/4)	1m 2s
workspace (linux llvm 3/4)	1m 43s
workspace (linux llvm 1/4)	1m 45s
workspace (windows default 0/1)	2m 35s
installed gRPC template (${{ matrix.platform }})	-1s
timings	6s
red members name their issues	9s
full sweep failed — open an issue	0s
	27m 42s