CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (Open Source)	3m 0s
Format	14s
Test	1m 43s
Typecheck	53s
	5m 50s