Build and Deploy to Github Pages

Merge pull request #3003 from reubenmiller/docs-fix-broken-anchors #1347

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deploy	12m 51s
Update Search Index	0s
	12m 51s