Repository navigation

openkal-platform 0.25.0: the openkal 0.25 family, and openkal-image 0.5.5 #2155

Job	Run time
graphics install: no side effects on unrelated members	2m 25s
lint	29s
select	11s
mirror-cn-reachable	2m 7s
workspace (macos default 0/1)	4m 48s
workspace (linux llvm 2/4)	57s
workspace (windows default 0/1)	1m 54s
workspace (linux llvm 0/4)	2m 38s
workspace (linux default 0/1)	3m 13s
workspace (linux llvm 3/4)	1m 24s
workspace (linux llvm 1/4)	1m 15s
installed gRPC template (${{ matrix.platform }})	-1s
red members name their issues	7s
timings	7s
full sweep failed — open an issue	0s
	21m 34s