Repository navigation

fix(ci): a PR cannot trigger a full workspace run any more (#394) #1209

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