Repository navigation

check

Polish the ready screen, Settings, and app copy #904

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes	9s
check	13m 18s
compile	1m 45s
format-patch	17s
gate	3s
	15m 32s