CI

v2: improve link and navigation between content in a same site #3701

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	14s
Typecheck	55s
Build (Open Source)	3m 3s
Test	1m 51s
	6m 3s