Back to pull request #6112

Docs: Rename 'Setup' to 'Get started' and 'Start' to 'Run' #7749

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-test	19s
regenerate-docs	8s
regenerate-tests	7s
	34s