Repository navigation

ci: complete daily bot update PRs and automatic validation #1635

Job	Run time
lint	14s
graphics install: no side effects on unrelated members	2m 42s
select	11s
workspace (${{ matrix.platform }}${{ (((matrix.toolchain == 'default') && '') \|\| format(' {0}', matrix.toolchain)) }}${{ (((matrix.shards == 1) && '') \|\| format(' {0}/{1}', matrix.shard, matrix.shards)) }})	0s
mirror-cn-reachable	0s
red members name their issues	0s
timings	0s
full sweep failed — open an issue	0s
	3m 7s