validate

docs: describe the CI as it is after sharding, and make --shard mean … #578

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	12s
select	9s
mirror-cn-reachable	6m 24s
workspace (windows 0/2)	48m 11s
workspace (linux 2/3)	53m 9s
workspace (linux 0/3)	1h 2m 55s
workspace (linux 1/3)	35m 42s
workspace (windows 1/2)	1h 4m 13s
workspace (macos 0/1)	1h 11m 50s
timings	7s
	5h 42m 52s