Verify PR

Update the links to syntax description section #1585

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs-build-for-pr / build-docs	33s
docs-verify-for-pr / log-report	6s
	39s