Repository navigation

The openkal 0.25 family: openkal 0.25.0, openkal-kit 0.3.1, linux 0.26.0, macos 0.23.0, windows 0.21.0, emscripten 0.14.0, opensbi 0.9.0 #2146

Job	Run time
select	19s
lint	16s
graphics install: no side effects on unrelated members	2m 38s
mirror-cn-reachable	6m 35s
workspace (linux llvm 1/4)	1m 5s
workspace (linux llvm 2/4)	49s
workspace (linux llvm 0/4)	2m 4s
workspace (windows default 0/1)	1m 49s
workspace (linux llvm 3/4)	1m 16s
workspace (linux default 0/1)	2m 50s
workspace (macos default 0/1)	3m 56s
installed gRPC template (${{ matrix.platform }})	0s
timings	8s
red members name their issues	5s
full sweep failed — open an issue	0s
	23m 50s